default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPAQS 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
- 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 - Sukyoung Ryu
, Kwangkeun 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 - Chung-Chien Hwang, Shih-Kun Huang, Deng-Jyi Chen, David T. K. 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, Takuya 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 - Wassem 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, Dorota 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 - Shaoying Liu, Jin Song 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 - Qing Wang, Xufang 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 - Hong Guo:
Special Requirements for Software Process Improvement Applied in Teleworking Environments. 331-340 - Hye-young Lee, Ho-Won Jung, Chang-Shin Chung, Jong Moo Lee, Kyung Whan Lee, Hack Jong 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, Shing-Chi 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-12 23:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
