Conferences in DBLP
Kent Beck Extreme Programming: A Discipline of Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof Czarnecki , Ulrich W. Eisenecker Components and Generative Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Hauswirth , Mehdi Jazayeri A Component and Communication Model for Push Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Cecilia Mascolo , Gian Pietro Picco , Gruia-Catalin Roman A Fine-Grained Model for Code Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Vered Gafni Robots: A Real-Time Systems Architectural Style. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Warboys , Dharini Balasubramaniam , R. Mark Greenwood , Graham N. C. Kirby , Ken Mayes , Ronald Morrison , David S. Munro Collaboration and Composition: Issues for a Second Generation Process Language. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Jäger , Ansgar Schleicher , Bernhard Westfechtel Using UML for Software Process Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Padberg A Probabilistic Model for Software Projects. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy G. Leveson , Mats Per Erik Heimdahl , Jon Damon Reese Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Gargantini , Constance L. Heitmeyer Using Model Checking to Generate Tests from Requirements Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey M. Thompson , Mats Per Erik Heimdahl , Steven P. Miller Specification-Based Prototyping for Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Siff , Satish Chandra , Thomas Ball , Krishna Kunchithapadam , Thomas W. Reps Coping with Type Casts in C. [Citation Graph (0, 0)][DBLP ] Conf ] Donglin Liang , Mary Jean Harrold Efficient Points-to Analysis for Whole-Program Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball The Concept of Dynamic Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Atanas Rountev , Barbara G. Ryder , William Landi Data-Flow Analysis of Program Fragments. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Zeller Yesterday, My Program Worked. Today, It Does Not. Why? [Citation Graph (0, 0)][DBLP ] Conf ] Clara Jaramillo , Rajiv Gupta , Mary Lou Soffa Comparison Checking: An Approach to Avoid Debugging of Optimized Code. [Citation Graph (0, 0)][DBLP ] Conf ] Juei Chang , Debra J. Richardson Structural Specification-Based Testing: Automated Support and Experimental Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Tibor Gyimóthy , Árpád Beszédes , István Forgács An Efficient Relevant Slicing Method for Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Martin P. Robillard , Gail C. Murphy Analyzing Exception Flow in Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gleb Naumovich , George S. Avrunin , Lori A. Clarke An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Bokowski CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java. [Citation Graph (0, 0)][DBLP ] Conf ] Hugo Fierz The CIP Method: Component- and Model-Based Construction of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Wermelinger , José Luiz Fiadeiro Algebraic Software Architecture Reconfiguration. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fradet , Daniel Le Métayer , Michaël Périn Consistency Checking for Multiple View Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Stan Jarzabek , Peter Knauber Synergy between Component-Based and Generative Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Bayer , Jean-Francois Girard , Martin Würthner , Jean-Marc DeBaud , Martin Apel Transitioning Legacy Assets to a Product Line Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen E. Dossick , Gail E. Kaiser CHIME: A Metadata-Based Distributed Software Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Grimaud , Jean-Louis Lanet , Jean-Jacques Vandewalle FACADE: A Typed Intermediate Language Dedicated to Smart Cards. [Citation Graph (0, 0)][DBLP ] Conf ] Víctor A. Braberman , Miguel Felder Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitra Giannakopoulou , Jeff Magee , Jeff Kramer Checking Progress with Action Priority: Is it Fair? [Citation Graph (0, 0)][DBLP ] Conf ] 