The Community for Technology Leaders
Quality Software, International Conference on (2004)
Braunshweig, Germany
Sept. 8, 2004 to Sept. 10, 2004
ISBN: 0-7695-2207-6
TABLE OF CONTENTS
Keynote Speech

Smart Play-Out Extended: Time and Forbidden Elements (Abstract)

David Harel , The Weizmann Institute of Science, Rehovot, Israel
Amir Pnueli , The Weizmann Institute of Science, Rehovot, Israel
Hillel Kugler , The Weizmann Institute of Science, Rehovot, Israel
pp. 2-10

Conceptual Modeling: A Key to Quality Information Systems (PDF)

Arne S?lvberg , The Norwegian University of Science and Technology (NTNU)
pp. 12
Session 1: Software Testing I

Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions (Abstract)

Y. T. Yu , City University of Hong Kong
M. F. Lau , Swinburne University of Technology, Australia
pp. 14-21

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models (Abstract)

Ji Wang , National Laboratory for Parallel and Distributed Processing, Changsha, P.R. China
Huo-wang Chen , National Laboratory for Parallel and Distributed Processing, Changsha, P.R. China
Jiong Yan , National Laboratory for Parallel and Distributed Processing, Changsha, P.R. China
pp. 22-31

Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems (Abstract)

M. Y. Cheng , The University of Hong Kong
T. H. Tse , The University of Hong Kong
S. C. Cheung , Hong Kong University of Science and Technology
pp. 32-40
Session 2A: Formal Methods and Applications

Equational Approach to Formal Verification of SET (Abstract)

Kazuhiro Ogata , NEC Software Hokuriku, Ltd.
pp. 50-59

A First Step Towards Formal Verification of Security Policy Properties for RBAC (Abstract)

Maksym Bortin , Universit?t Bremen, Germany
Paolo Torrini , Universit?t Bremen, Germany
Karsten Sohr , Universit?t Bremen, Germany
Michael Drouineaud , Universit?t Bremen, Germany
pp. 60-67
Session 2B: Software Testing II

Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases (Abstract)

Eric Y. K. Chan , City University of Hong Kong, Kowloon Tong
Y. T. Yu , City University of Hong Kong, Kowloon Tong
pp. 70-78

Adaptive Random Testing Through Dynamic Partitioning (Abstract)

G. Eddy , The University of Melbourne, Australia
P. K. Wong , Hong Kong Institute of Vocational Education (Sha Tin), Hong Kong
T. Y. Chen , Swinburne University of Technology, Australia
R. Merkel , Swinburne University of Technology, Australia
pp. 79-86
Session 3A: Methods and Tools

Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications (Abstract)

Silvia Abrah? , Valencia University of Technology, Spain
Oscar Pastor , Valencia University of Technology, Spain
Nelly Condori-Fern?ndez , Valencia University of Technology, Spain
pp. 94-101

Machine-Learning Techniques for Software Product Quality Assessment (Abstract)

Hakim Lounis , Universit? du Qu?bec ? Montr?al, Canada
Lynda Ait-Mehedine , Universit? de Montr?al, Canada
pp. 102-109

Assessment of the Requirements Management Process using a Two-Stage Questionnaire (Abstract)

Ariel Serrano , Universidad Polit?cnica de Madrid
Gonzalo Cuevas , Universidad Polit?cnica de Madrid
Alan Serrano , Brunel University
pp. 110-116
Session 3B: Software Process

Improving Software Inspection Process with Patterns (Abstract)

Ilkka Tervonen , University of Oulu
Pekka Vuorio , Buscom Oy
Lasse Harjumaa , University of Oulu
pp. 118-125

Intelligent Tool Based-Agent for Software Architecture Evaluation (Abstract)

Nicole Levy , Universit? de Versailles St-Quentin, France
Francisca Losavio , Universidad Central de Venezuela, Caracas, Venezuela
Amar Ramdane-Cherif , Universit? de Versailles St-Quentin, France
Samir Benarif , Universit? de Versailles St-Quentin, France
pp. 126-133
Session 4: Software Quality I

On the Statistical Properties of the F-measure (Abstract)

Robert Merkel , Swinburne University of Technology, Australia
Tsong Yueh Chen , Swinburne University of Technology, Australia
Fei-Ching Kuo , Swinburne University of Technology, Australia
pp. 146-153

Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering (Abstract)

Michel Jaring , University of Groningen, The Netherlands
Jan Bosch , University of Groningen, The Netherlands
pp. 154-161

Using Knowledge Management to Improve Software Process Performance in a CMM Level 3 Organization (Abstract)

Fabio Feu Rosa Valente , Federal University of Esp?rito Santo, Vit?ria - ES, Brazil
Ligia S. Mota Borges , Federal University of Esp?rito Santo, Vit?ria - ES, Brazil
Ricardo de Almeida Falbo , Federal University of Esp?rito Santo, Vit?ria - ES, Brazil
pp. 162-169
Session 5A: Distributed and Web-based Information Systems

Website Complexity Metrics for Measuring Navigability (Abstract)

Hong Zhu , Oxford Brookes University, UK
Yanlong Zhang , Oxford Brookes University, UK; Manchester Metropolitan Univ., UK
Sue Greenwood , Oxford Brookes University, UK
pp. 172-179

Reliability Improvement of Web-Based Software Applications (Abstract)

Leticia D?vila-Nicanor , CINVESTAV-IPN, Mexico
Pedro Mej?a-Alvarez , CINVESTAV-IPN, Mexico
pp. 180-188
Session 5B: Software Quality II

Towards a Control-Theoretical Approach to Software Fault-Tolerance (Abstract)

Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics, China
Xiang-Yun Wang , Beijing University of Aeronautics and Astronautics, China
pp. 198-205

A Methodology for Constructing Maintainability Model of Object-Oriented Design (Abstract)

Matinee Kiewkanya , Chulalongkorn University, Thailand
Pornsiri Muenchaisri , Chulalongkorn University, Thailand
Nongyao Jindasawat , Chulalongkorn University, Thailand
pp. 206-213

COSTUME: A Method for Building Quality Models for Composite COTS-Based Software Systems (Abstract)

Xavier Franch , Universitat Polit?cnica de Catalunya (UPC), Barcelona (Catalunya, Spain)
Gemma Grau , Universitat Polit?cnica de Catalunya (UPC), Barcelona (Catalunya, Spain)
Carme Quer , Universitat Polit?cnica de Catalunya (UPC), Barcelona (Catalunya, Spain)
Juan P. Carvallo , Universitat Polit?cnica de Catalunya (UPC), Barcelona (Catalunya, Spain)
pp. 214-221
Session 6A: Conceptual Modeling

Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines (Abstract)

Jane Zhao , Massey University, New Zealand
Hui Ma , Massey University, New Zealand
pp. 224-231

A Contract-Based Component Model for Embedded Systems (Abstract)

Shuyu Li , Northwestern Polytechnic University, Xi'an Shannxi China
Jian Wu , Northwestern Polytechnic University, Xi'an Shannxi China
Zhengguo Hu , Northwestern Polytechnic University, Xi'an Shannxi China
pp. 232-239

Hierarchic Decomposition in Agent Oriented Conceptual Modelling (Abstract)

Robert B. K. Brown , University of Wollongong, Australia
Aditya Ghose , University of Wollongong, Australia
pp. 240-247
Session 6B: Software Testing III

Semantic Errors in SQL Queries: A Quite Complete List (Abstract)

Stefan Brass , Martin-Luther-Universit?t Halle-Wittenberg, Germany
Christian Goldberg , Martin-Luther-Universit?t Halle-Wittenberg, Germany
pp. 250-257

Antipattern-Based Detection of Deficiencies in Java Multithreaded Software (Abstract)

A. Petrenko , CRIM, Canada
S. Boroday , CRIM, Canada
H. H. Hallal , CRIM, Canada
W. P. Tunney , SAP Labs Canada, Canada
E. Alikacem , CRIM, Canada
pp. 258-267

A Test Case Generation Algorithm for Real-Time Systems (Abstract)

Anders Hessel , Uppsala University, Sweden
Paul Pettersson , Uppsala University, Sweden
pp. 268-273

Author Index (PDF)

pp. 274-275
81 ms
(Ver )