Conferences in DBLP
Willem Visser , Klaus Havelund , Guillaume P. Brat , Seungjoon Park Model Checking Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sarfraz Khurshid , Daniel Jackson Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter Management of Change in Structured Verification. [Citation Graph (0, 0)][DBLP ] Conf ] J. Michael Moore , Frank M. Shipman III A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering. [Citation Graph (0, 0)][DBLP ] Conf ] H. M. Harmain , Robert J. Gaizauskas CM-Builder: An Automated NL-Based CASE Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Renaud Lecoeuche Finding Comparatively Important Concepts between Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Hall Upgrading Legacy Instances of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Guido Malpohl , James J. Hunt , Walter F. Tichy Renaming Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Paul E. Black , Vadim Okun , Yaacov Yesha Mutation Operators for Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Raul Monroy The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Réveillère , Fabrice Mérillon , Charles Consel , Renaud Marlet , Gilles Muller A DSL Approach to Improve Productivity and Safety in Device Drivers Development. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Boinot , Renaud Marlet , Jacques Noyé , Gilles Muller , Charles Consel A Declarative Approach for Designing and Developing Adaptive Components. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , Kai Lin , Grigore Rosu Circular Coinductive Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] W. Martin , P. White , F. S. Taylor , A. Goldberg Formal Construction of the Mathematically Analyzed Separation Kernel. [Citation Graph (0, 0)][DBLP ] Conf ] Adel Bouhoula Simultaneous Checking of Completeness and Ground Confluence. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander E. Wise , Aaron G. Cass , Barbara Staudt Lerner , Eric K. McCall , Leon J. Osterweil , Stanley M. Sutton Jr. Using Little-JIL to Coordinate Agents in Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Menzies , Erik Sinsel Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Shahrul Azman Noah , Michael D. Williams Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Hoda Fahmy , Richard C. Holt Using Graph Rewriting to Specify Software Architectural Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrik Pagh Schultz , Julia L. Lawall , Charles Consel Specialization Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Marcos Siqueira Bueno , Mario Jino Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data. [Citation Graph (0, 0)][DBLP ] Conf ] Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa Generating Test Data for Branch Coverage. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Marre , Agnès Arnould Test Sequences Generation from LUSTRE Descriptions: GATeL. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Kloukinas , Valérie Issarny Automating the Composition of Middleware Configurations. [Citation Graph (0, 0)][DBLP ] Conf ] Christelle Chaudet , Flávio Oquendo pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John J. Kyaruzi , Jan van Katwijk Towards Explicit Representation of Architectural Design Assumptions. [Citation Graph (0, 0)][DBLP ] Conf ] David Y. W. Park , University Stern , Jens U. Skakkebæk , David L. Dill Java Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Mike G. Hill , Thomas W. Lake Non-Interference Analysis for Mixed Criticality Code in Avionics Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Chang Liu , Debra J. Richardson Automated Security Checking and Patching Using TestTalk. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Dieter Schewe Controlled Automation of Consistency Enforcement. [Citation Graph (0, 0)][DBLP ] Conf ] Régine Laleau , Amel Mammar An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. [Citation Graph (0, 0)][DBLP ] Conf ] Mikal Ziane A Transformational Viewpoint on Design Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Colin O'Halloran Issues for the Automatic Generation of Safety Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Mark E. M. Stewart An Experiment in Scientific Program Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] K. Suzanne Barber , Sutirtha Bhattacharya Representing Technology to Promote Reuse in the Software Design Process. [Citation Graph (0, 0)][DBLP ] Conf ] Houari A. Sahraoui , Hakim Lounis , Mounir A. Boukadoum , Frédéric Ethève Towards the Automatic Assessment of Evolvability for Reusable Class Libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Liwu Li Translating Use Cases to Sequence Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolai Mansurov , Dmitri Vasura New Visual Interface for Engineering Use Case Models. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Egyed Semantic Abstraction Rules for Class Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled El-Fakih , Hirozumi Yamaguchi , Gregor von Bochmann , Teruo Higashino Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Martin S. Feather , Steven L. Cornford , Timothy W. Larson Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. [Citation Graph (0, 0)][DBLP ] Conf ] Cleidson R. B. de Souza , Jair S. Ferreira Jr. , Kléder Miranda Gonçalves , Jacques Wainer A Group Critic System for Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP ] Conf ] Marianne Huchard , Hervé Leblanc Computing Interfaces in Java. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Morisio , Guilherme Travassos , Michael E. Stark Extending UML to Support Domain Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Prasanta K. Bose , Mark G. Matthews Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies. [Citation Graph (0, 0)][DBLP ] Conf ] 