4. QSIC 2004: Braunschweig, Germany

4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany. IEEE Computer Society 2004, ISBN 0-7695-2207-6 BibTeX

Keynote Speech

David Harel, Hillel Kugler, Amir Pnueli:
Smart Play-Out Extended: Time and Forbidden Elements. 2-10
Electronic Edition (link) BibTeX
Arne Sølvberg:
Conceptual Modeling: A Key to Quality Information Systems. 12-
Electronic Edition (link) BibTeX

Session 1: Software Testing I

Yuen-Tak Yu, Man Fai Lau:
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. 14-21
Electronic Edition (link) BibTeX
Yan Jiong, Ji Wang, Huowang Chen:
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. 22-31
Electronic Edition (link) BibTeX
M. Y. Cheng, S. C. Cheung, T. H. Tse:
Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems. 32-40
Electronic Edition (link) BibTeX

Session 2A: Formal Methods and Applications

Christian Attiogbé:
A Mechanically Proved Development Combining B Abstract Systems and Spin. 42-49
Electronic Edition (link) BibTeX
Kazuhiro Ogata, Kokichi Futatsugi:
We Present a Complete Study Involving in the One Hand. 50-59
Electronic Edition (link) BibTeX
Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr:
A First Step Towards Formal Verification of Security Policy Properties for RBAC. 60-67
Electronic Edition (link) BibTeX

Session 2B: Software Testing II

Eric Ying Kwong Chan, Yuen-Tak Yu:
Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases. 70-78
Electronic Edition (link) BibTeX
Tsong Yueh Chen, Robert G. Merkel, G. Eddy, P. K. Wong:
Adaptive Random Testing Through Dynamic Partitioning. 79-86
Electronic Edition (link) BibTeX
Jian Zhang:
Symbolic Execution of Program Paths Involving Pointer and Structure Variables. 87-92
Electronic Edition (link) BibTeX

Session 3A: Methods and Tools

Nelly Condori-Fernández, Silvia Mara Abrahão, Oscar Pastor:
Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications. 94-101
Electronic Edition (link) BibTeX
Hakim Lounis, Lynda Ait-Mehedine:
Machine-Learning Techniques for Software Product Quality Assessment. 102-109
Electronic Edition (link) BibTeX
Gonzalo Cuevas, Alan Serrano, Ariel Serrano:
Assessment of the Requirements Management Process using a Two-Stage Questionnaire. 110-116
Electronic Edition (link) BibTeX

Session 3B: Software Process

Lasse Harjumaa, Ilkka Tervonen, Pekka Vuorio:
Improving Software Inspection Process with Patterns. 118-125
Electronic Edition (link) BibTeX
Samir Benarif, Amar Ramdane-Cherif, Nicole Lévy, Francisca Losavio:
Intelligent Tool Based-Agent for Software Architecture Evaluation . 126-133
Electronic Edition (link) BibTeX
Thomas Grechenig, Wolfgang Zuser:
Creating Organic Software Maturity Attitudes (COSMA) Selected Principles and Activities for Software Maturity in Small and Medium Software Enterprises. 134-143
Electronic Edition (link) BibTeX

Session 4: Software Quality I

Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel:
On the Statistical Properties of the F-measure. 146-153
Electronic Edition (link) BibTeX
Michel Jaring, Jan Bosch:
Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering. 154-161
Electronic Edition (link) BibTeX
Ricardo de Almeida Falbo, Ligia S. Mota Borges, Fabio Feu Rosa Valente:
Using Knowledge Management to Improve Software Process Performance in a CMM Level 3 Organization. 162-169
Electronic Edition (link) BibTeX

Session 5A: Distributed and Web-based Information Systems

Yanlong Zhang, Hong Zhu, Sue Greenwood:
Website Complexity Metrics for Measuring Navigability. 172-179
Electronic Edition (link) BibTeX
Leticia Dávila-Nicanor, Pedro Mejía-Alvarez:
Reliability Improvement of Web-Based Software Applications. 180-188
Electronic Edition (link) BibTeX
Alexander Kuckelberg:
Component Based System Architecture for Railway Capacity Management Systems. 189-196
Electronic Edition (link) BibTeX

Session 5B: Software Quality II

Kai-Yuan Cai, Xiang-Yun Wang:
Towards a Control-Theoretical Approach to Software Fault-Tolerance. 198-205
Electronic Edition (link) BibTeX
Matinee Kiewkanya, Nongyao Jindasawat, Pornsiri Muenchaisri:
A Methodology for Constructing Maintainability Model of Object-Oriented Design. 206-213
Electronic Edition (link) BibTeX
Juan Pablo Carvallo, Xavier Franch, Gemma Grau, Carme Quer:
COSTUME: A Method for Building Quality Models for Composite COTS-Based Software Systems. 214-221
Electronic Edition (link) BibTeX

Session 6A: Conceptual Modeling

Jane Zhao, Hui Ma:
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines. 224-231
Electronic Edition (link) BibTeX
Shuyu Li, Jian Wu, Zhengguo Hu:
A Contract-Based Component Model for Embedded Systems. 232-239
Electronic Edition (link) BibTeX
Robert B. K. Brown, Aditya Ghose:
Hierarchic Decomposition in Agent Oriented Conceptual Modelling. 240-247
Electronic Edition (link) BibTeX

Session 6B: Software Testing III

Stefan Brass, Christian Goldberg:
Semantic Errors in SQL Queries: A Quite Complete List. 250-257
Electronic Edition (link) BibTeX
Hesham Hallal, E. Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko:
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. 258-267
Electronic Edition (link) BibTeX
Anders Hessel, Paul Pettersson:
A Test Case Generation Algorithm for Real-Time Systems. 268-273
Electronic Edition (link) BibTeX