The Community for Technology Leaders
Asia-Pacific Conference on Quality Software (2001)
Hong Kong
Dec. 10, 2001 to Dec. 11, 2001
ISBN: 0-7695-1287-9
TABLE OF CONTENTS
Session 1A: Program Analysis I

Analysis and Implementation Method of Program to Detect Inappropriate Information Leak (Abstract)

F. Ohata , Osaka University
Y. Takata , Nana Institute of Science and Technology
R. Yokomori , Osaka University
K. Inoue , Osaka University
H. Seki , Nana Institute of Science and Technology
pp. 0005

Computing Executable Slices for Concurrent Logic Programs (Abstract)

K. Ushijima , Institute of Systems & Information Technologies/KYUSHU
J. Cheng , Saitama University
J. Zhao , Fukuoka Institute of Technology
pp. 0013

Exception Analysis for Multithreaded Java Programs (Abstract)

S. Ryu , Korea Advanced Institute of Science and Technology
K. Yi , Korea Advanced Institute of Science and Technology
pp. 0023
Session 1B: Software Reliability

An Analysis of Software Correctness Prediction Methods (Abstract)

V. Podgorelec , University of Maribor, Slovenia
P. Kokol , University of Maribor, Slovenia
M. Sprogar , University of Maribor, Slovenia
M. Zorman , University of Maribor, Slovenia
M. Pighin , University of Maribor, Slovenia
pp. 0033
Session 1C: Software Quality

Incremental Quality Network (Abstract)

S. Coronado , Universidad Polit?cnica de Madrid
J. Jaén , Universidad Polit?cnica de Madrid
pp. 0059

Using a Coding Standard to Improve Program Quality (Abstract)

X. Fang , SRA Key Technology Laboratory, Inc
pp. 0073
Session 2A: Program Analysis II

Object-Oriented Program Behavior Analysis Based on Control Patterns (Abstract)

D. Chen , FORDHAM University
D.-J. Chen , National Chiao Tung University
S.-K. Huang , Academia Sinica
C.-C. Hwang , National Chiao Tung University
pp. 0081

A Path-Based Approach to the Detection of Infinite Looping (Abstract)

J. Zhang , Chinese Academy of Sciences
pp. 0088
Session 2B: Quality Metrics

Assurance of Conceptual Data Model Quality Based on Early Measures (Abstract)

M. Piattini , University of Castilla-La Mancha
M. Genero , University of Castilla-La Mancha
C. Calero , University of Castilla-La Mancha
pp. 0097
Session 2C: Software Development I

Why Software Engineering is Riskier than Ever (Abstract)

O. Garcia , University of Wollongong
P. Croll , University of Wollongong
A. Fuller , University of Wollongong
pp. 0113

On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire (Abstract)

Y. Takagi , OMRON Corporation
O. Mizuno , Osaka University
T. Adachi , Osaka University
T. Kikuno , Osaka University
pp. 0120
Session 3A: Formal Methods I

Partial Validation of a Design Specification with Respect to Requirements (Abstract)

A. Cavalli , INT, Evry, FRANCE
F. Khendek , Concordia University
C. Besse , INT, Evry, FRANCE
pp. 0131

Constructing Hardware/Software Interface Using Protocol Converters (Abstract)

Z. Qiu , Peking University
J. He , The United Nations University
S. Qin , Peking University
pp. 0141
Session 3B: Testing I

Optimal Test Profile in the Context of Software Cybernetics (Abstract)

K.-Y. Cai , Beijing University of Aeronautics and Astronautics
pp. 0157

Testable Use Cases in the Abstract State Machine Language (Abstract)

M. Lepper , TU Berlin
W. Grieskamp , Microsoft Research
W. Schulte , Microsoft Research
N. Tillmann , Microsoft Research
pp. 0167

Experience Report on Conformance Tests for CORBA ORBs (Abstract)

I. Schieferdecker , FOKUS, Fraunhofer Institute for Open Communication Systems
M. Li , FOKUS, Fraunhofer Institute for Open Communication Systems
A. Yin , FOKUS, Fraunhofer Institute for Open Communication Systems
D. Witaszek , FOKUS, Fraunhofer Institute for Open Communication Systems
O. Halabi , FOKUS, Fraunhofer Institute for Open Communication Systems
A. Vouffou , FOKUS, Fraunhofer Institute for Open Communication Systems
A. Rennoch , FOKUS, Fraunhofer Institute for Open Communication Systems
pp. 0173
Session 3C: Software Development II

Railway Power SCADA System Commissioning "Case Example" (Abstract)

I. Hampton , Pacific Trinity International Ltd.
K. Lam , Mass Transit Railway Corporation Ltd.
pp. 0185

Stakeholder Discovery and Classification Based on Systems Science Principles (Abstract)

O. Preiss , ABB Corporate Research Ltd
A. Wegmann , Swiss Federal Institute of Technology
pp. 0194

Quality & People in the Development of Situationally Specific Methods (Abstract)

H. Edwards , University of Sunderland
S. Young , University of Sunderland
S. McDonald , University of Sunderland
J. Thompson , University of Sunderland
pp. 0199

A Risk-Driven Design Model for Embedded System (Abstract)

M. Li , Chinese Academy of Sciences
Y. Dong , Chinese Academy of Sciences
pp. 0204
Keynote Address II

End-to-End Integration Testing (Abstract)

Raymond Paul , Department of Defense, Washington, DC, USA
pp. 0211
Session 4A: Formal Methods II

Incremental Fault-Tolerant Design in an Object-Oriented Setting (Abstract)

O. Owe , University of Oslo
E. Munthe-Kaas , University of Oslo
J. Vain , Tallinn Technical University
E. Johnsen , University of Oslo
pp. 0223

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations (Abstract)

W. Vogler , Universit?t Augsburg
M. Di Berardini , Universit? di L?Aquila
F. Corradini , Universit? di L?Aquila
pp. 0231

Class and Module in SOFL (Abstract)

J. Dong , National University of Singapore
S. Liu , Hosei University
pp. 0241
Session 4B: Testing II

Combining the Animation and Testing of Abstract Data Types (Abstract)

P. Strooper , The University of Queensland
T. Miller , The University of Queensland
pp. 0249

A Selective Software Testing Method Based on Priorities Assigned to Functional Modules (Abstract)

T. Yamamoto , TOSHIBA Corporation
M. Hirayama , TOSHIBA Corporation
J. Okayasu , TOSHIBA Corporation
T. Kikuno , Osaka University
O. Mizuno , Osaka University
pp. 0259

URL-Driven Automated Testing (Abstract)

R. Wen , AP Technology Corporation
pp. 0268
Session 4C: Process Models and Tools

A Tailored Capability Model for Inspection Process Improvement (Abstract)

J. Iisakka , University of Oulu
I. Tervonen , University of Oulu
L. Harjumaa , University of Oulu
pp. 0275

A Path to Virtual Software Inspection (Abstract)

L. Harjumaa , University of Oulu
H. Hedberg , University of Oulu
I. Tervonen , University of Oulu
pp. 0283

A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations (Abstract)

M. Li , Chinese Academy of Sciences
H. Li , Chinese Academy of Sciences
C. Li , Chinese Academy of Sciences
pp. 0288
Session 5A: Requirements Engineering

Requirements Management for the Incremental Development Model (Abstract)

Q. Wang , Chinese Academy of Science
X. Lai , Chinese Academy of Science
pp. 0295

A New Tool to Analyze ER-Schemas (Abstract)

N. Kraïem , ENSI - campus Mannouba
F. Boufares , Universit? Paris
pp. 0302
Session 5B: Usability

QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models (Abstract)

A. Seffah , Concordia University
N. Kececi , University of Quebec at Montreal
M. Donyaee , Concordia University
pp. 0311

Comparison of Chinese and Japanese in Designing B2C Web Pages Toward Impressional Usability (Abstract)

J. Zhao , Jinan University
K. Shima , Nara Institute of Science and Technology
Y. Takemura , Nara Institute of Science and Technology
K.-I. Matsumoto , Nara Institute of Science and Technology
J. Hu , Nara Institute of Science and Technology
pp. 0319
Session 5C: Process Improvement and Assessment

Priorities of Process Improvement Outcomes Based on Process Capability Levels (Abstract)

H. Jaakkola , Tampere University of Technology
T. Varkoi , Tampere University of Technology
M. Lepasaar , Tampere University of Technology
pp. 0349
Session 6A: Formal Verification

Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager (Abstract)

C. Sinz , University of T?bingen, WSI
T. Lumpp , IBM Germany Development
W. Küchlin , University of T?bingen, WSI
pp. 0367

Towards Automatic Verification of Embedded Control Software (Abstract)

R. Huuck , University of Kiel
N. Bauer , University of Dortmund
pp. 0375
Session 6B: E-commerce

On the Modelling of Document Exchange Processes in E-Commerce Protocols (Abstract)

J. Wei , Hong Kong University of Science and Technology
X. Wang , Hong Kong University of Science and Technology
S.-C. Cheung , Hong Kong University of Science and Technology
pp. 0387

Beyond E-commerce Software Quality: Web Services Effectiveness (Abstract)

H.-S. Chiu , National Chiao-Tung University
C. Yang , National Chiao-Tung University
pp. 0397

A Specific Software Development Process for an Electronic Commerce Portal (Abstract)

M. Book , WebService Haltern
L. Schöpe , Informatik Centrum Dortmund e.V.
V. Gruhn , Dortmund University
pp. 0406
Session 6C: Configuration Management

A Software Product Model Emphasizing Relationships (Abstract)

C.-W. Huang , National Dong Hwa University
S.-C. Chou , National Dong Hwa University
pp. 0417

Complex Systems Development Requirements - PDM and SCM Integration (Abstract)

D. Svensson , Chalmers University
I. Crnkovic , M?lardalen University
A. Dahlkvist , Ericsson Microwave Systems AB
pp. 0427

Use of Binary File Comparison Tools in Software Release Management (Abstract)

V. Fanberg , Science Applications International Corporation
pp. 0436

Author Index (PDF)

pp. 0445

null (PDF)

pp. null
93 ms
(Ver )