default search action

combined dblp search
author search
venue search
publication search

ask others

4. QSIC 2004: Braunschweig, Germany

> Home > Conferences and Workshops > QSIC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/qsic/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/2004
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

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/HarelKP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/HarelKP04
David Harel, Hillel Kugler, Amir Pnueli:
Smart Play-Out Extended: Time and Forbidden Elements. 2-10
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/Solvberg04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/Solvberg04
Arne Sølvberg:
Conceptual Modeling: A Key to Quality Information Systems. 12

Session 1: Software Testing I

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/YuL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/YuL04
Yuen-Tak Yu, Man Fai Lau:
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. 14-21
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/JiongWC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/JiongWC04
Yan Jiong, Ji Wang, Huowang Chen:
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. 22-31
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ChengCT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ChengCT04
M. Y. Cheng, Shing-Chi 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

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/Attiogbe04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/Attiogbe04
J. Christian Attiogbé:
A Mechanically Proved Development Combining B Abstract Systems and Spin. 42-49
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/OgataF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/OgataF04
Kazuhiro Ogata, Kokichi Futatsugi:
Equational Approach to Formal Verification of SET. 50-59
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/DrouineaudBTS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/DrouineaudBTS04
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

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ChanY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ChanY04
Eric Ying Kwong Chan, Yuen-Tak Yu:
Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases. 70-78
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ChenMEW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ChenMEW04
Tsong Yueh Chen, Robert G. Merkel, G. Eddy, P. K. Wong:
Adaptive Random Testing Through Dynamic Partitioning. 79-86
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/Zhang04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/Zhang04
Jian Zhang:
Symbolic Execution of Program Paths Involving Pointer and Structure Variables. 87-92

Session 3A: Methods and Tools

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/Condori-FernandezAP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/Condori-FernandezAP04
Nelly Condori-Fernández, Silvia Abrahão, Oscar Pastor:
Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications. 94-101
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/LounisA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/LounisA04
Hakim Lounis, Lynda Ait-Mehedine:
Machine-Learning Techniques for Software Product Quality Assessment. 102-109
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/CuevasSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/CuevasSS04
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

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/HarjumaaTV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/HarjumaaTV04
Lasse Harjumaa, Ilkka Tervonen, Pekka Vuorio:
Improving Software Inspection Process with Patterns. 118-125
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/BenarifRLL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/BenarifRLL04
Samir Benarif, Amar Ramdane-Cherif, Nicole Lévy, Francisca Losavio:
Intelligent Tool Based-Agent for Software Architecture Evaluation . 126-133
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/GrechenigZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/GrechenigZ04
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

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ChenKM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ChenKM04
Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel:
On the Statistical Properties of the F-measure. 146-153
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/JaringB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/JaringB04
Michel Jaring, Jan Bosch:
Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering. 154-161
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/FalboBV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/FalboBV04
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

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ZhangZG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ZhangZG04
Yanlong Zhang, Hong Zhu, Sue Greenwood:
Website Complexity Metrics for Measuring Navigability. 172-179
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/Davila-NicanorM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/Davila-NicanorM04
Leticia Dávila-Nicanor, Pedro Mejía-Alvarez:
Reliability Improvement of Web-Based Software Applications. 180-188
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/Kuckelberg04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/Kuckelberg04
Alexander Kuckelberg:
Component Based System Architecture for Railway Capacity Management Systems. 189-196

Session 5B: Software Quality II

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/CaiW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/CaiW04
Kai-Yuan Cai, Xiang-Yun Wang:
Towards a Control-Theoretical Approach to Software Fault-Tolerance. 198-205
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/KiewkanyaJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/KiewkanyaJM04
Matinee Kiewkanya, Nongyao Jindasawat, Pornsiri Muenchaisri:
A Methodology for Constructing Maintainability Model of Object-Oriented Design. 206-213
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/CarvalloFGQ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/CarvalloFGQ04
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

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ZhaoM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ZhaoM04
Jane Zhao, Hui Ma:
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines. 224-231
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/LiWH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/LiWH04
Shuyu Li, Jian Wu, Zhengguo Hu:
A Contract-Based Component Model for Embedded Systems. 232-239
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/BrownG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/BrownG04
Robert B. K. Brown, Aditya Ghose:
Hierarchic Decomposition in Agent Oriented Conceptual Modelling. 240-247

Session 6B: Software Testing III

- view
  authority control:
- export record
  dblp key:
  - conf/qsic/BrassG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/BrassG04
Stefan Brass, Christian Goldberg:
Semantic Errors in SQL Queries: A Quite Complete List. 250-257
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/HallalATBP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/HallalATBP04
Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko:
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. 258-267
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/HesselP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/HesselP04
Anders Hessel, Paul Pettersson:
A Test Case Generation Algorithm for Real-Time Systems. 268-273

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.