Conferences in DBLP
David Harel , Hillel Kugler , Amir Pnueli Smart Play-Out Extended: Time and Forbidden Elements. [Citation Graph (0, 0)][DBLP ] Conf ] Arne Sølvberg Conceptual Modeling: A Key to Quality Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yuen-Tak Yu , Man Fai Lau Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. [Citation Graph (0, 0)][DBLP ] 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 ] 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 ] Conf ] Christian Attiogbé A Mechanically Proved Development Combining B Abstract Systems and Spin. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiro Ogata , Kokichi Futatsugi Equational Approach to Formal Verification of SET. [Citation Graph (0, 0)][DBLP ] 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 ] 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 ] Conf ] Tsong Yueh Chen , Robert G. Merkel , G. Eddy , P. K. Wong Adaptive Random Testing Through Dynamic Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Zhang Symbolic Execution of Program Paths Involving Pointer and Structure Variables. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Hakim Lounis , Lynda Ait-Mehedine Machine-Learning Techniques for Software Product Quality Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Gonzalo Cuevas , Alan Serrano , Ariel Serrano Assessment of the Requirements Management Process using a Two-Stage Questionnaire. [Citation Graph (0, 0)][DBLP ] Conf ] Lasse Harjumaa , Ilkka Tervonen , Pekka Vuorio Improving Software Inspection Process with Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Samir Benarif , Amar Ramdane-Cherif , Nicole Lévy , Francisca Losavio Intelligent Tool Based-Agent for Software Architecture Evaluation . [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Tsong Yueh Chen , Fei-Ching Kuo , Robert G. Merkel On the Statistical Properties of the F-measure. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Jaring , Jan Bosch Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Yanlong Zhang , Hong Zhu , Sue Greenwood Website Complexity Metrics for Measuring Navigability. [Citation Graph (0, 0)][DBLP ] Conf ] Leticia Dávila-Nicanor , Pedro Mejía-Alvarez Reliability Improvement of Web-Based Software Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Kuckelberg Component Based System Architecture for Railway Capacity Management Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kai-Yuan Cai , Xiang-Yun Wang Towards a Control-Theoretical Approach to Software Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Matinee Kiewkanya , Nongyao Jindasawat , Pornsiri Muenchaisri A Methodology for Constructing Maintainability Model of Object-Oriented Design. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Jane Zhao , Hui Ma Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Shuyu Li , Jian Wu , Zhengguo Hu A Contract-Based Component Model for Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. K. Brown , Aditya Ghose Hierarchic Decomposition in Agent Oriented Conceptual Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brass , Christian Goldberg Semantic Errors in SQL Queries: A Quite Complete List. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Anders Hessel , Paul Pettersson A Test Case Generation Algorithm for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 