Conferences in DBLP
Kent Beck Extreme Programming: A Humanistic Discipline of Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Cliff B. Jones Some Mistakes I Have and What I Have Learned from Them. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Allen , Rémi Douence , David Garlan Specifying and Analyzing Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Narjes Berregeb , Adel Bouhoula , Michaël Rusinowitch Observational Proofs with Critical Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Bradley , William Henderson , David Kendall , Adrian Robson Integrating AORTA with Model-Based Data Specification Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Büssow , Robert Geisler , Marcus Klar Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Grieskamp , Maritta Heisel , Heiko Dörr Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Große-Rhode Algebra Transformation Systems and their Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Hamie , John Howse , Stuart Kent Navigation Expresion in Object-Oriented Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Reiko Heckel Compositional Verification of Reactive Systems Specified by Graph Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kahrs , Donald Sannella Reflections on the Design of a Specification language. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrike Lechner Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. [Citation Graph (0, 0)][DBLP ] Conf ] Tiziana Margaria , Bernhard Steffen Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Mota , Augusto Sampaio Model-Checking CSP-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Julia Padberg , Magdalena Gajewsky , Claudia Ermel Rule-Based Refinement of High-Level Nets Preserving Safety Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Joy N. Reed , D. M. Jackson , B. Deianov , George M. Reed Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Hanne Riis Nielson , Torben Amtoft , Flemming Nielson Behaviour Analysis and Safety Conditions: A Case Study in CML. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Sandholm , Michael I. Schwartzbach Distributed Safety Controllers for Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Scholz A Refinement Calculus for Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Bettina Sucrow Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Behnke , Rudolf Berghammer , Erich Meyer , Peter Schneider RELVIEW - A System for Calculating With Relations and Relational Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Dubois ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Josef Tapken MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. [Citation Graph (0, 0)][DBLP ] Conf ] 