APAQS 2001: Hong Kong, China

@proceedings{DBLP:conf/apaqs/2001,
  title     = {2nd Asia-Pacific Conference on Quality Software (APAQS 2001),
               10-11 December 2001, Hong Kong, China, Proceedings},
  booktitle = {APAQS},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1287-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue:
  Analysis and Implementation Method of Program to Detect Inappropriate Information Leak. 5-12
  
• Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
  Computing Executable Slices for Concurrent Logic Programs. 13-22
  
• S. Ryu, K. Yi:
  Exception Analysis for Multithreaded Java Programs. 23-32
  
• Peter Kokol, Vili Podgorelec, Milan Zorman, Matej Sprogar, Maurizio Pighin:
  An Analysis of Software Correctness Prediction Methods. 33-39
  
• Frank Padberg:
  A Fast Algorithm to Compute Maximum Likelihood Estimates for the Hypergeometric Software Reliability Model. 40-49
  
• N. Davidson:
  An Ordinal-Time Reliability Model Applied to ioBig-Bangle Suite-Based Testing. 50-58
  
• Sergio Coronado, José Alberto Jaén:
  Incremental Quality Network. 59-64
  
• Ronan Fitzpatrick:
  Strategic Drivers of Software Quality: Beyond External and Internal Software Quality. 65-72
  
• X. Fang:
  Using a Coding Standard to Improve Program Quality. 73-80
  
• C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen:
  Object-Oriented Program Behavior Analysis Based on Control Patterns. 81-87
  
• Jian Zhang:
  A Path-Based Approach to the Detection of Infinite Looping. 88-96
  
• Marcela Genero, Mario Piattini, Coral Calero:
  Assurance of Conceptual Data Model Quality Based on Early Measures. 97-103
  
• Michael Saboe:
  The Use of Software Quality Metrics in the Materiel Release Process - Experience Report. 104-112
  
• Anne Fuller, Peter R. Croll, Omar Garcia:
  Why Software Engineering is Riskier than Ever. 113-119
  
• Osamu Mizuno, T. Adachi, Tohru Kikuno, Yasunari Takagi:
  On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire. 120-130
  
• Cédric Besse, Ana R. Cavalli, Ferhat Khendek:
  Partial Validation of a Design Specification with Respect to Requirements. 131-140
  
• Shengchao Qin, Zongyan Qiu, Jifeng He:
  Constructing Hardware/Software Interface Using Protocol Converters. 141-148
  
• W. Hassan:
  DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems. 149-156
  
• Kai-Yuan Cai:
  Optimal Test Profile in the Context of Software Cybernetics. 157-166
  
• Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann:
  Testable Use Cases in the Abstract State Machine Language. 167-172
  
• Mang Li, Axel Rennoch, Ina Schieferdecker, D. Witaszek, O. Halabi, Alain Vouffo, Aihong Yin:
  Experience Report on Conformance Tests for CORBA ORBs. 173-184
  
• I. Hampton, K. Lam:
  Railway Power SCADA System Commissioning "Case Example". 185-193
  
• Otto Preiss, Alain Wegmann:
  Stakeholder Discovery and Classification Based on Systems Science Principles. 194-198
  
• S. Michelle Young, Sharon McDonald, Helen M. Edwards, J. Barrie Thompson:
  Quality & People in the Development of Situationally Specific Methods. 199-203
  
• Ying Dong, Mingshu Li:
  A Risk-Driven Design Model for Embedded System. 204-210
  
• Raymond A. Paul:
  End-to-End Integration Testing. 211-222
  
• Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain:
  Incremental Fault-Tolerant Design in an Object-Oriented Setting. 223-230
  
• Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
  PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 231-240
  
• S. Liu, J. Dong:
  Class and Module in SOFL. 241-248
  
• Tim Miller, Paul A. Strooper:
  Combining the Animation and Testing of Abstract Data Types. 249-258
  
• Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno:
  A Selective Software Testing Method Based on Priorities Assigned to Functional Modules. 259-267
  
• R. Wen:
  URL-Driven Automated Testing. 268-274
  
• Ilkka Tervonen, Juha Iisakka, Lasse Harjumaa:
  A Tailored Capability Model for Inspection Process Improvement. 275-282
  
• Lasse Harjumaa, Henrik Hedberg, Ilkka Tervonen:
  A Path to Virtual Software Inspection. 283-287
  
• Chao Li, Han Li, Mingshu Li:
  A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations. 288-294
  
• Q. Wang, X. Lai:
  Requirements Management for the Incremental Development Model. 295-301
  
• Faouzi Boufarès, Naoufel Kraïem:
  A New Tool to Analyze ER-Schemas. 302-310
  
• Ahmed Seffah, Nihal Kececi, Mohammad Donyaee:
  QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models. 311-318
  
• Jian Hu, Jiamin Zhao, Kazuyuki Shima, Yasuhiro Takemura, Ken-ichi Matsumoto:
  Comparison of Chinese and Japanese in Designing B2C Web Pages Toward Impressional Usability. 319-330
  
• H. Guo:
  Special Requirements for Software Process Improvement Applied in Teleworking Environments. 331-340
  
• H.-Y. Lee, H.-W. Jung, C.-S. Chung, J. Lee, K. Lee, H. Jeong:
  Analysis of Interrater Agreement in ISO/IEC 15504-Based Software Process Assessment. 341-348
  
• Timo Varkoi, Marion Lepasaar, Hannu Jaakkola:
  Priorities of Process Improvement Outcomes Based on Process Capability Levels. 349-356
  
• Kazuhiro Ogata, Kokichi Futatsugi:
  Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. 357-366
  
• Carsten Sinz, Wolfgang Küchlin, Thomas Lumpp:
  Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager. 367-374
  
• Nanette Bauer, Ralf Huuck:
  Towards Automatic Verification of Embedded Control Software. 375-386
  
• X. Wang, S.-C. Cheung, J. Wei:
  On the Modelling of Document Exchange Processes in E-Commerce Protocols. 387-396
  
• Hung-Sheng Chiu, Chyan Yang:
  Beyond E-commerce Software Quality: Web Services Effectiveness. 397-405
  
• Volker Gruhn, Lothar Schöpe, Matthias Book:
  A Specific Software Development Process for an Electronic Commerce Portal. 406-416
  
• Shih-Chien Chou, Chun-Wei Huang:
  A Software Product Model Emphasizing Relationships. 417-426
  
• Ivica Crnkovic, Annita Persson Dahlkvist, Daniel Svensson:
  Complex Systems Development Requirements - PDM and SCM Integration. 427-435
  
• V. Fanberg:
  Use of Binary File Comparison Tools in Software Release Management. 436-444
  

Last update Tue Feb 14 03:48:38 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page