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