4. QSIC 2004: Braunschweig, Germany

Keynote Speech

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

Session 1: Software Testing I

• Yuen-Tak Yu, Man Fai Lau:
  Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. 14-21
  
• Yan Jiong, Ji Wang, Huowang Chen:
  Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. 22-31
  
• 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
  

Session 2A: Formal Methods and Applications

• Christian Attiogbé:
  A Mechanically Proved Development Combining B Abstract Systems and Spin. 42-49
  
• Kazuhiro Ogata, Kokichi Futatsugi:
  Equational Approach to Formal Verification of SET. 50-59
  
• Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr:
  A First Step Towards Formal Verification of Security Policy Properties for RBAC. 60-67
  

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
  
• Tsong Yueh Chen, Robert G. Merkel, G. Eddy, P. K. Wong:
  Adaptive Random Testing Through Dynamic Partitioning. 79-86
  
• Jian Zhang:
  Symbolic Execution of Program Paths Involving Pointer and Structure Variables. 87-92
  

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
  
• Hakim Lounis, Lynda Ait-Mehedine:
  Machine-Learning Techniques for Software Product Quality Assessment. 102-109
  
• Gonzalo Cuevas Agustín, Alan Serrano, Ariel Serrano:
  Assessment of the Requirements Management Process using a Two-Stage Questionnaire. 110-116
  

Session 3B: Software Process

• Lasse Harjumaa, Ilkka Tervonen, Pekka Vuorio:
  Improving Software Inspection Process with Patterns. 118-125
  
• Samir Benarif, Amar Ramdane-Cherif, Nicole Lévy, Francisca Losavio:
  Intelligent Tool Based-Agent for Software Architecture Evaluation . 126-133
  
• 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
  

Session 4: Software Quality I

• Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel:
  On the Statistical Properties of the F-measure. 146-153
  
• Michel Jaring, Jan Bosch:
  Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering. 154-161
  
• 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
  

Session 5A: Distributed and Web-based Information Systems

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

Session 5B: Software Quality II

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

Session 6A: Conceptual Modeling

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

Session 6B: Software Testing III

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

Last update Fri May 25 08:33:49 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page