Proceedings. Second Asia-Pacific Conference on Quality Software, 10-11 December 2001, Hong Kong / organized by Department of Computer Science, City University of Hong Kong, Hong Kong ... [and others] ; sponsored by the British Computer Society (Hong Kong Section) ; [edited by Y.T. Yu and T.Y. Chen].

Format:

Book

Conference/Event

Contributor:

Yu, Y. T.

Chen, T. Y.

IEEE Xplore (Online service)

British Computer Society. Hong Kong Section.

Conference Name:

Asia-Pacific Conference on Quality Software (2nd : 2001 : Hong Kong, China)

Language:

English

Subjects (All):

Computer software--Quality control--Congresses.

Computer software.

Computer software--Quality control.

Genre:

Conference papers and proceedings.

Physical Description:

xv, 446 pages : illustrations

Continued By:

International Conference on Quality Software. Proceedings

Place of Publication:

Los Alamitos, CA : IEEE Computer Society, 2001.

System Details:

Mode of access: World Wide Web.

text file

Contents:

Session 1A Program Analysis I

[F] Analysis and Implementation Method of Program to Detect Inappropriate Information Leak / R. Yokomori, F. Ohata, Y. Takata, H. Seki, K. Inoue 5

[F] Computing Executable Slices for Concurrent Logic Programs / J. Zhao, J. Cheng, K. Ushijima 13

[F] Exception Analysis for Multithreaded Java Programs / S. Ryu, K. Yi 23

Session 1B Software Reliability

[F] An Analysis of Software Correctness Prediction Methods / P. Kokol, V. Podgorelec, M. Zorman, M. Sprogar, M. Pighin 33

[F] A Fast Algorithm to Compute Maximum Likelihood Estimates for the Hypergeometric Software Reliability Model / F. Padberg 40

[E] An Ordinal-Time Reliability Model Applied to "Big-Bang" Suite-Based Testing / N. Davidson 50

Session 1C Software Quality

[F] Incremental Quality Network / S. Coronado, J. Jaen 59

[F] Strategic Drivers of Software Quality: Beyond External and Internal Software Quality / R. Fitzpatrick 65

[E] Using a Coding Standard to Improve Program Quality / X. Fang 73

Session 2A Program Analysis II

[F] Object-Oriented Program Behavior Analysis Based on Control Patterns / C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen 81

[F] A Path-Based Approach to the Detection of Infinite Looping / J. Zhang 88

Session 2B Quality Metrics

[F] Assurance of Conceptual Data Model Quality Based on Early Measures / M. Genero, M. Piattini, C. Calero 97

[E] The Use of Software Quality Metrics in the Materiel Release Process

Experience Report / M. Saboe 104

Session 2C Software Development I

[F] Why Software Engineering is Riskier than Ever / A. Fuller, P. Croll, O. Garcia 113

[F] On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire / O. Mizuno, T. Adachi, T. Kikuno, Y. Takagi 120

Session 3A Formal Methods I

[F] Partial Validation of a Design Specification with Respect to Requirements / C. Besse, A. Cavalli, F. Khendek 131

[F] Constructing Hardware/Software Interface Using Protocol Converters / S. Qin, Z. Qiu, J. He 141

[S] DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems / W. Hassan 149

Session 3B Testing I

[F] Optimal Test Profile in the Context of Software Cybernetics / K.-Y. Cai 157

[F] Testable Use Cases in the Abstract State Machine Language / W. Grieskamp, M. Lepper, W. Schulte, N. Tillmann 167

[E] Experience Report on Conformance Tests for CORBA ORBs / M. Li, A. Rennoch, I. Schieferdecker, D. Witaszek, O. Halabi, A. Vouffou, A. Yin 173

Session 3C Software Development II

[E] Railway Power SCADA System Commissioning "Case Example" / I. Hampton, K. Lam 185

[S] Stakeholder Discovery and Classification Based on Systems Science Principles / O. Preiss, A. Wegmann 194

[S] Quality & People in the Development of Situationally Specific Methods / S. Young, S. McDonald, H. Edwards, J. Thompson 199

[S] A Risk-Driven Design Model for Embedded System / Y. Dong, M. Li 204

Keynote Address II

End-to-End Integration Testing / Raymond Paul 211

Session 4A Formal Methods II

[F] Incremental Fault-Tolerant Design in an Object-Oriented Setting / E. Johnsen, O. Owe, E. Munthe-Kaas, J. Vain 223

[F] PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations / F. Corradini, M. Di Berardini, W. Vogler 231

[S] Class and Module in SOFL / S. Liu, J. Dong 241

Session 4B Testing II

[F] Combining the Animation and Testing of Abstract Data Types / T. Miller, P. Strooper 249

[F] A Selective Software Testing Method Based on Priorities Assigned to Functional Modules / M. Hirayama, T. Yamamoto, J. Okayasu, O. Mizuno, T. Kikuno 259

[S] URL-Driven Automated Testing / R. Wen 268

Session 4C Process Models and Tools

[F] A Tailored Capability Model for Inspection Process Improvement / I. Tervonen, J. lisakka, L. Harjumaa 275

[S] A Path to Virtual Software Inspection / L. Harjumaa, H. Hedberg, I. Tervonen 283

[S] A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations / C. Li, H. Li, M. Li 288

Session 5A Requirements Engineering

[F] Requirements Management for the Incremental Development Model / Q. Wang, X. Lai 295

[F] A New Tool to Analyze ER-Schemas / F. Boufares, N. Kraiem 302

Session 5B Usability

[F] QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models / A. Seffah, N. Kececi, M. Donyaee 311

[F] Comparison of Chinese and Japanese in Designing B2C Web Pages Toward Impressional Usability / J. Hu, J. Zhao, K. Shima, Y. Takemura, K.-I. Matsumoto 319

Session 5C Process Improvement and Assessment

[F] Special Requirements for Software Process Improvement Applied in Teleworking Environments / H. Guo 331

[F] 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, H. Jeong 341

[S] Priorities of Process Improvement Outcomes Based on Process Capability Levels / T. Varkoi, M. Lepasaar, H. Jaakkola 349

Session 6A Formal Verification

[F] Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm / K. Ogata, K. Futatsugi 357

[F] Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager / C. Sinz, W. Kuchlin, T. Lumpp 367

[F] Towards Automatic Verification of Embedded Control Software / N. Bauer, R. Huuck 375

Session 6B E-commerce

[F] On the Modelling of Document Exchange Processes in E-Commerce Protocols / X. Wang, S.-C. Cheung, J. Wei 387

[F] Beyond E-commerce Software Quality: Web Services Effectiveness / H.-S. Chiu, C. Yang 397

[E] A Specific Software Development Process for an Electronic Commerce Portal / V. Gruhn, L. Schope, M. Book 406

Session 6C Configuration Management

[F] A Software Product Model Emphasizing Relationships / S.-C. Chou, C.-W. Huang 417

[F] Complex Systems Development Requirements

PDM and SCM Integration / I. Crnkovic, A. Dahlkvist, D. Svensson 427

[E] Use of Binary File Comparison Tools in Software Release Management / V. Fanberg 436.

Notes:

Proceedings for 2003- cataloged as a serial under the later name of the conference: International Conference on Quality Software.

Includes bibliographical references and index.

ISBN:

0769512879

9780769512877

0769512887

9780769512884

0769512895

9780769512891

OCLC:

50583712

Access Restriction:

Restricted for use by site license.