--------------------------------------------------------------- Second Asia-Pacific Conference on Quality Software (APAQS 2001) New World Renaissance Hotel, Hong Kong 10-11 December 2001 http://www.cs.cityu.edu.hk/~apaqs --------------------------------------------------------------- FINAL CALL FOR PARTICIPATION Registration enquiries: ty-cms@vtc.edu.hk General enquiries: apaqs@cs.cityu.edu.hk OBJECTIVE --------- The quality of software has an important bearing on the financial and safety aspects in our daily lives. Unfortunately, software systems often fail to deliver to promises. It is well known that there are still unresolved errors in many of the software systems that we are using every day. The Asia-Pacific region is far from being immune to these problems. The prime objective of APAQS is to bring together researchers and practitioners to address this issue seriously. PROGRAM HIGHLIGHTS ------------------ * Keynote speakers: Prof. C.V. Ramamoorthy and Dr. Raymond Paul * Parallel sessions of research papers and experience reports * Session topics: -- Configuration management -- E-commerce -- Formal methods -- Formal verification -- Process improvement and assessment -- Process models and tools -- Program analysis -- Quality metrics -- Requirements engineering -- Software development -- Software quality -- Software reliability -- Testing -- Usability STEERING COMMITTEE ------------------ Chair: T.H. Tse, The University of Hong Kong, Hong Kong Members: * T.Y. Chen, Swinburne University of Technology, Australia * Peter C. Poole, Emeritus Professor, The University of Melbourne, Australia * C.V. Ramamoorthy, University of California at Berkeley, USA * Stephen S. Yau, Arizona State University, USA ORGANIZERS ---------- * Department of Computer Science, City University of Hong Kong, Hong Kong * Centre for Software Engineering, School of Information Technology, Swinburne University of Technology, Australia CO-ORGANIZER ------------ * Information Technology Services Department, The Government of the HKSAR, Hong Kong SPONSORS -------- * The British Computer Society Hong Kong Section * Hong Kong Computer Society * The Hong Kong Institution of Engineers, Information Technology Division * IEEE Hong Kong Section Computer Society Chapter PROVISIONAL PROGRAM ------------------- Day 1: 10 December 2001 (Monday) 8:00 Registration 8:30 Opening Session * Welcome Address from the General Chair N. Lee, Executive Director, Vocational Training Council, Hong Kong * Program Overview Y.T. Yu and T.Y. Chen, Program Co-Chairs * Keynote Address I C.V. Ramamoorthy, University of California at Berkeley, USA 10:30 Parallel Sessions 1 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 * Computing Executable Slices for Concurrent Logic Programs J. Zhao, J. Cheng, and K. Ushijima * Exception Analysis for Multithreaded Java Programs S. Ryu and K. Yi Session 1B: Software Reliability * An Analysis of Software Correctness Prediction Methods P. Kokol, V. Podgorelec, M. Zorman, M. Sprogar, and M. Pighin * A Fast Algorithm to Compute Maximum Likelihood Estimates for the Hypergeometric Software Reliability Model F. Padberg * An Ordinal-Time Reliability Model Applied to "Big-Bang" Suite-Based Testing N. Davidson Session 1C: Software Quality * Incremental Quality Network S. Coronado and J. Jaen * Strategic Drivers of Software Quality: Beyond External and Internal Software Quality R. Fitzpatrick * Using a Coding Standard to Improve Program Quality X. Fang 14:00 Parallel Sessions 2 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 * A Path-Based Approach to the Detection of Infinite Looping J. Zhang Session 2B: Quality Metrics * Assurance of Conceptual Data Model Quality Based on Early Measures M. Genero, M. Piattini, and C. Calero * The Use of Software Quality Metrics in the Materiel Release Process - Experience Report M. Saboe Session 2C: Software Development I * Why Software Engineering is Riskier than Ever A. Fuller, P. Croll, and O. Garcia * On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire O. Mizuno, T. Adachi, T. Kikuno, and Y. Takagi 15:30 Parallel Sessions 3 Session 3A: Formal Methods I * Partial Validation of a Design Specification with Respect to Requirements C. Besse, A. Cavalli, and F. Khendek * Constructing Hardware/Software Interface Using Protocol Converters S. Qin, Z. Qiu, and J. He * Class and Module in SOFL S. Liu and J. Dong Session 3B: Testing I * Optimal Test Profile in the Context of Software Cybernetics K.-Y. Cai * Testable Use Cases in the Abstract State Machine Language W. Grieskamp, M. Lepper, W. Schulte, and N. Tillmann * Experience Report on Conformance Tests for CORBA ORBs M. Li, A. Rennoch, I. Schieferdecker, D. Witaszek, O. Halabi, A. Vouffou, and A. Yin Session 3C: Software Development II * Railway Power SCADA System Commissioning "Case Example" I. Hampton and K. Lam * Stakeholder Discovery and Classification Based on Systems Science Principles O. Preiss and A. Wegmann * Quality & People in the Development of Situationally Specific Methods S. Young, S. McDonald, H. Edwards, and J. Thompson * A Risk-Driven Design Model for Embedded System Y. Dong and M. Li 18:30 Conference Banquet Day 2: 11 December 2001 (Tuesday) 9:00 Keynote Address II * End-to-End Integration Testing Raymond Paul, Department of Defense, Washington, DC, USA 10:30 Parallel Sessions 4 Session 4A: Formal Methods II * Incremental Fault-Tolerant Design in an Object-Oriented Setting E. Johnsen, O. Owe, E. Munthe-Kaas, and J. Vain * PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations F. Corradini, M. Di Berardini, and W. Vogler * DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems W. Hassan Session 4B: Testing II * Combining the Animation and Testing of Abstract Data Types T. Miller and P. Strooper * A Selective Software Testing Method Based on Priorities Assigned to Functional Modules M. Hirayama, T. Yamamoto, J. Okayasu, O. Mizuno, and T. Kikuno * URL-Driven Automated Testing R. Wen Session 4C: Process Models and Tools * A Tailored Capability Model for Inspection Process Improvement I. Tervonen, J. Iisakka, and L. Harjumaa * A Path to Virtual Software Inspection L. Harjumaa, H. Hedberg, and I. Tervonen * A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations C. Li, H. Li, and M. Li 14:00 Parallel Sessions 5 Session 5A: Requirements Engineering * Requirements Management for the Incremental Development Model Q. Wang and X. Lai * A New Tool to Analyze ER-Schemas F. Boufares and N. Kraiem Session 5B: Usability * QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models A. Seffah, N. Kececi, and M. Donyaee * 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 Session 5C: Process Improvement and Assessment * Special Requirements for Software Process Improvement Applied in Teleworking Environments H. Guo * 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 * Priorities of Process Improvement Outcomes Based on Process Capability Levels T. Varkoi, M. Lepasaar, and H. Jaakkola 15:30 Parallel Sessions 6 Session 6A: Formal Verification * Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm K. Ogata and K. Futatsugi * 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 * Towards Automatic Verification of Embedded Control Software N. Bauer and R..Huuck Session 6B: E-commerce * On the Modelling of Document Exchange Processes in E-Commerce Protocols X. Wang, S.-C. Cheung, and J. Wei * Beyond E-commerce Software Quality: Web Services Effectiveness H.-S. Chiu and C. Yang * A Specific Software Development Process for an Electronic Commerce Portal V. Gruhn, L. Schope, and M. Book Session 6C: Configuration Management * A Software Product Model Emphasizing Relationships S.-C. Chou and C.-W. Huang * Complex Systems Development Requirements - PDM and SCM Integration I. Crnkovic, A. Dahlkvist, and D. Svensson * Use of Binary File Comparison Tools in Software Release Management V. Fanberg ======================================================================