Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. 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
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
- J. 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
a service of 
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 2024-06-19 20:47 CEST 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:
