Conferences in DBLP
David Harel , Hillel Kugler , Amir Pnueli Smart Play-Out Extended: Time and Forbidden Elements. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:2-10 [Conf ] Arne Sølvberg Conceptual Modeling: A Key to Quality Information Systems. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:12-0 [Conf ] Yuen-Tak Yu , Man Fai Lau Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:14-21 [Conf ] Yan Jiong , Ji Wang , Huowang Chen Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:22-31 [Conf ] M. Y. Cheng , S. C. Cheung , T. H. Tse Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:32-40 [Conf ] Christian Attiogbé A Mechanically Proved Development Combining B Abstract Systems and Spin. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:42-49 [Conf ] Kazuhiro Ogata , Kokichi Futatsugi Equational Approach to Formal Verification of SET. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:50-59 [Conf ] Michael Drouineaud , Maksym Bortin , Paolo Torrini , Karsten Sohr A First Step Towards Formal Verification of Security Policy Properties for RBAC. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:60-67 [Conf ] Eric Ying Kwong Chan , Yuen-Tak Yu Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:70-78 [Conf ] Tsong Yueh Chen , Robert G. Merkel , G. Eddy , P. K. Wong Adaptive Random Testing Through Dynamic Partitioning. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:79-86 [Conf ] Jian Zhang Symbolic Execution of Program Paths Involving Pointer and Structure Variables. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:87-92 [Conf ] Nelly Condori-Fernández , Silvia Mara Abrahão , Oscar Pastor Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:94-101 [Conf ] Hakim Lounis , Lynda Ait-Mehedine Machine-Learning Techniques for Software Product Quality Assessment. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:102-109 [Conf ] Gonzalo Cuevas , Alan Serrano , Ariel Serrano Assessment of the Requirements Management Process using a Two-Stage Questionnaire. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:110-116 [Conf ] Lasse Harjumaa , Ilkka Tervonen , Pekka Vuorio Improving Software Inspection Process with Patterns. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:118-125 [Conf ] Samir Benarif , Amar Ramdane-Cherif , Nicole Lévy , Francisca Losavio Intelligent Tool Based-Agent for Software Architecture Evaluation . [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:126-133 [Conf ] Thomas Grechenig , Wolfgang Zuser Creating Organic Software Maturity Attitudes (COSMA) Selected Principles and Activities for Software Maturity in Small and Medium Software Enterprises. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:134-143 [Conf ] Tsong Yueh Chen , Fei-Ching Kuo , Robert G. Merkel On the Statistical Properties of the F-measure. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:146-153 [Conf ] Michel Jaring , Jan Bosch Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:154-161 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:162-169 [Conf ] Yanlong Zhang , Hong Zhu , Sue Greenwood Website Complexity Metrics for Measuring Navigability. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:172-179 [Conf ] Leticia Dávila-Nicanor , Pedro Mejía-Alvarez Reliability Improvement of Web-Based Software Applications. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:180-188 [Conf ] Alexander Kuckelberg Component Based System Architecture for Railway Capacity Management Systems. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:189-196 [Conf ] Kai-Yuan Cai , Xiang-Yun Wang Towards a Control-Theoretical Approach to Software Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:198-205 [Conf ] Matinee Kiewkanya , Nongyao Jindasawat , Pornsiri Muenchaisri A Methodology for Constructing Maintainability Model of Object-Oriented Design. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:206-213 [Conf ] Juan Pablo Carvallo , Xavier Franch , Gemma Grau , Carme Quer COSTUME: A Method for Building Quality Models for Composite COTS-Based Software Systems. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:214-221 [Conf ] Jane Zhao , Hui Ma Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:224-231 [Conf ] Shuyu Li , Jian Wu , Zhengguo Hu A Contract-Based Component Model for Embedded Systems. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:232-239 [Conf ] Robert B. K. Brown , Aditya Ghose Hierarchic Decomposition in Agent Oriented Conceptual Modelling. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:240-247 [Conf ] Stefan Brass , Christian Goldberg Semantic Errors in SQL Queries: A Quite Complete List. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:250-257 [Conf ] Hesham Hallal , E. Alikacem , W. P. Tunney , Sergiy Boroday , Alexandre Petrenko Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:258-267 [Conf ] Anders Hessel , Paul Pettersson A Test Case Generation Algorithm for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] QSIC, 2004, pp:268-273 [Conf ]