Abstract is missing.
- Smart Play-Out Extended: Time and Forbidden ElementsDavid Harel, Hillel Kugler, Amir Pnueli. 2-10 [doi]
- Conceptual Modeling: A Key to Quality Information SystemsArne Sølvberg. 12 [doi]
- Comparing Several Coverage Criteria for Detecting Faults in Logical DecisionsYuen-Tak Yu, Man Fai Lau. 14-21 [doi]
- Automatic Generation of Markov Chain Usage Models from Real-Time Software UML ModelsYan Jiong, Ji Wang, Huowang Chen. 22-31 [doi]
- Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia SystemsM. Y. Cheng, S. C. Cheung, T. H. Tse. 32-40 [doi]
- A Mechanically Proved Development Combining B Abstract Systems and SpinChristian Attiogbé. 42-49 [doi]
- We Present a Complete Study Involving in the One HandKazuhiro Ogata, Kokichi Futatsugi. 50-59 [doi]
- A First Step Towards Formal Verification of Security Policy Properties for RBACMichael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr. 60-67 [doi]
- Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test CasesEric Ying Kwong Chan, Yuen-Tak Yu. 70-78 [doi]
- Adaptive Random Testing Through Dynamic PartitioningTsong Yueh Chen, Robert G. Merkel, G. Eddy, P. K. Wong. 79-86 [doi]
- Symbolic Execution of Program Paths Involving Pointer and Structure VariablesJian Zhang. 87-92 [doi]
- Towards a Functional Size Measure for Object-Oriented Systems from Requirements SpecificationsNelly Condori-Fernández, Silvia Mara Abrahão, Oscar Pastor. 94-101 [doi]
- Machine-Learning Techniques for Software Product Quality AssessmentHakim Lounis, Lynda Ait-Mehedine. 102-109 [doi]
- Assessment of the Requirements Management Process using a Two-Stage QuestionnaireGonzalo Cuevas, Alan Serrano, Ariel Serrano. 110-116 [doi]
- Improving Software Inspection Process with PatternsLasse Harjumaa, Ilkka Tervonen, Pekka Vuorio. 118-125 [doi]
- Intelligent Tool Based-Agent for Software Architecture Evaluation Samir Benarif, Amar Ramdane-Cherif, Nicole Lévy, Francisca Losavio. 126-133 [doi]
- Creating Organic Software Maturity Attitudes (COSMA) Selected Principles and Activities for Software Maturity in Small and Medium Software EnterprisesThomas Grechenig, Wolfgang Zuser. 134-143 [doi]
- On the Statistical Properties of the F-measureTsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel. 146-153 [doi]
- Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family EngineeringMichel Jaring, Jan Bosch. 154-161 [doi]
- Using Knowledge Management to Improve Software Process Performance in a CMM Level 3 OrganizationRicardo de Almeida Falbo, Ligia S. Mota Borges, Fabio Feu Rosa Valente. 162-169 [doi]
- Website Complexity Metrics for Measuring NavigabilityYanlong Zhang, Hong Zhu, Sue Greenwood. 172-179 [doi]
- Reliability Improvement of Web-Based Software ApplicationsLeticia Dávila-Nicanor, Pedro Mejía-Alvarez. 180-188 [doi]
- Component Based System Architecture for Railway Capacity Management SystemsAlexander Kuckelberg. 189-196 [doi]
- Towards a Control-Theoretical Approach to Software Fault-ToleranceKai-Yuan Cai, Xiang-Yun Wang. 198-205 [doi]
- A Methodology for Constructing Maintainability Model of Object-Oriented DesignMatinee Kiewkanya, Nongyao Jindasawat, Pornsiri Muenchaisri. 206-213 [doi]
- COSTUME: A Method for Building Quality Models for Composite COTS-Based Software SystemsJuan Pablo Carvallo, Xavier Franch, Gemma Grau, Carme Quer. 214-221 [doi]
- Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State MachinesJane Zhao, Hui Ma. 224-231 [doi]
- A Contract-Based Component Model for Embedded SystemsShuyu Li, Jian Wu, Zhengguo Hu. 232-239 [doi]
- Hierarchic Decomposition in Agent Oriented Conceptual ModellingRobert B. K. Brown, Aditya Ghose. 240-247 [doi]
- Semantic Errors in SQL Queries: A Quite Complete ListStefan Brass, Christian Goldberg. 250-257 [doi]
- Antipattern-Based Detection of Deficiencies in Java Multithreaded SoftwareHesham Hallal, E. Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko. 258-267 [doi]
- A Test Case Generation Algorithm for Real-Time SystemsAnders Hessel, Paul Pettersson. 268-273 [doi]