search for books and compare prices
Tables of Contents for Second Asia-Pacific Conference on Quality Software
Chapter/Section Title
Page #
Page Count
Message from the General Chair
xi
Message from the Program Co-Chairs
xii
Conference Committees
xiii
Additional Reviewers
xv
Keynote Address I
Professor C.V. Ramamoorthy
Session 1A: Program Analysis I
Analysis and Implementation Method of Program to Detect Inappropriate Information Leak
R. Yokomori F. Ohata Y. Takata H. Seki and K. Inoue
5
8
Computing Executable Slices for Concurrent Logic Programs
J. Zhao J. Cheng and K. Ushijima
13
10
Exception Analysis for Multithreaded Java Programs
S. Ryu and K. Yi
23
10
Session 1B: Software Reliability
An Analysis of Software Correctness Prediction Methods
P. Kokol V. Podgorelec M. Zorman M. Sprogar and M. Pighin
33
7
A Fast Algorithm to Compute Maximum Likelihood Estimates for the Hypergeometric Software Reliability Model
F. Padberg
40
10
An Ordinal-Time Reliability Model Applied to ``Big-Bang'' Suite-Based Testing
N. Davidson
50
9
Session 1C: Software Quality
Incremental Quality Network
S. Coronado and J. Jaen
59
6
Strategic Drivers of Software Quality: Beyond External and Internal Software Quality
R. Fitzpatrick
65
8
Using a Coding Standard to Improve Program Quality
X. Fang
73
8
Session 2A: Program Analysis II
Object-Oriented Program Behavior Analysis Based on Control Patterns
C.-C. Hwang S.-K. Huang D.-J. Chen and D. Chen
81
7
A Path-Based Approach to the Detection of Infinite Looping
J. Zhang
88
9
Session 2B: Quality Metrics
Assurance of Conceptual Data Model Quality Based on Early Measures
M. Genero M. Piattini and C. Calero
97
7
The Use of Software Quality Metrics in the Materiel Release Process-Experience Report
M. Saboe
104
9
Session 2C: Software Development I
Why Software Engineering is Riskier than Ever
A. Fuller P. Croll and O. Garcia
113
7
On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire
O. Mizuno T. Adachi T. Kikuno and Y. Takagi
120
11
Session 3A; Formal Methods I
Partial Validation of a Design Specification with Respect to Requirements
C. Besse A. Cavalli and F. Khendek
131
10
Constructing Hardware/Software Interface Using Protocol Converters
S. Qin Z. Qiu and J. He
141
8
DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems
W. Hassan
149
8
Session 3B: Testing I
Optimal Test Profile in the Context of Software Cybernetics
K.-Y. Cai
157
10
Testable Use Cases in the Abstract State Machine Language
W. Grieskamp M. Lepper W. Schulte and N. Tillmann
167
6
Experience Report on Conformance Tests for CORBA ORBs
M. Li A. Remioch I. Schieferdecker D. Witaszek O. Halabi A. Vouffou and A. Yin
173
12
Session 3C: Software Development II
Railway Power SCADA System Commissioning ``Case Example''
I. Hampton and K. Lam
185
9
Stakeholder Discovery and Classification Based on Systems Science Principles
O. Preiss and A. Wegmann
194
5
Quality & People in the Development of Situationally Specific Methods
S. Young S. McDonald H. Edwards and J. Thompson
199
5
A Risk-Driven Design Model for Embedded System
Y. Dong and M. Li
204
7
Keynote Address II
End-to-End Integration Testing
Raymond Paul
211
12
Session 4A: Formal Methods II
Incremental Fault-Tolerant Design in an Object-Oriented Setting
E. Johnsen O. Owe E. Munthe-Kaas and J. Vain
223
8
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations
F. Corradini M. Di Berardini and W. Vogler
231
10
Class and Module in SOFL
S. Liu and J. Dong
241
8
Session 4B: Testing II
Combining the Animation and Testing of Abstract Data Types
T. Miller and P. Strooper
249
10
A Selective Software Testing Method Based on Priorities Assigned to Functional Modules
M. Hirayama T. Yamamoto J. Okayasu O. Mizuno and T. Kikuno
259
9
URL-Driven Automated Testing
R. Wen
268
7
Session 4C: Process Models and Tools
A Tailored Capability Model for Inspection Process Improvement
I. Tervonen J. Iisakka and L. Harjumaa
275
8
A Path to Virtual Software Inspection
L. Harjumaa H. Hedberg and I. Tervonen
283
5
A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations
C. Li H. Li and M. Li
288
7
Session 5A: Requirements Engineering
Requirements Management for the Incremental Development Model
Q. Wang and X. Lai
295
7
A New Tool to Analyze ER-Schemas
F. Boufares and N. Kraiem
302
9
Session 5B: Usability
QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models
A. Seffah N. Kececi and M. Donyaee
311
8
Comparison of Chinese and Japanese in Designing B2C Web Pages Toward Impressional Usability
J. Hu J. Zhao K. Shima Y. Takemura and K.-I. Matsumoto
319
12
Session 5C: Process Improvement and Assessment
Special Requirements for Software Process Improvement Applied in Teleworking Environments
H. Guo
331
10
Analysis of Interrater Agreement in ISO/IEC 15504-Based Software Process Assessment
H.-Y. Lee H.-W. Jung C.-S. Chung J. Lee K. Lee and H. Jeong
341
8
Priorities of Process Improvement Outcomes Based on Process Capability Levels
T. Varkoi M. Lepasaar and H. Jaakkola
349
8
Session 6A: Formal Verification
Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm
K. Ogata and K. Futatsugi
357
10
Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager
C. Sinz W. Kuchlin and T. Lumpp
367
8
Towards Automatic Verification of Embedded Control Software
N. Bauer and R. Huuck
375
12
Session 6B: E-commerce
On the Modelling of Document Exchange Processes in E-Commerce Protocols
X. Wang S.-C. Cheung and J. Wei
387
10
Beyond E-commerce Software Quality: Web Services Effectiveness
H.-S. Chiu and C. Yang
397
9
A Specific Software Development Process for an Electronic Commerce Portal
V. Gruhn L. Schope and M. Book
406
11
Session 6C: Configuration Management
A Software Product Model Emphasizing Relationships
S.-C. Chou and C.-W. Huang
417
10
Complex Systems Development Requirements PDM and SCM Integration
I. Crnkovic A. Dahlkvist and D. Svensson
427
9
Use of Binary File Comparison Tools in Software Release Management
V. Fanberg
436
9
Author Index
445
<