Conferences in DBLP
Kent Beck Extreme Programming: A Humanistic Discipline of Software Development. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:1-6 [Conf ] Cliff B. Jones Some Mistakes I Have and What I Have Learned from Them. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:7-20 [Conf ] Robert Allen , Rémi Douence , David Garlan Specifying and Analyzing Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:21-37 [Conf ] Narjes Berregeb , Adel Bouhoula , Michaël Rusinowitch Observational Proofs with Critical Contexts. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:38-53 [Conf ] Steven Bradley , William Henderson , David Kendall , Adrian Robson Integrating AORTA with Model-Based Data Specification Languages. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:54-70 [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 ] FASE, 1998, pp:71-87 [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 ] FASE, 1998, pp:88-106 [Conf ] Martin Große-Rhode Algebra Transformation Systems and their Composition. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:107-122 [Conf ] Ali Hamie , John Howse , Stuart Kent Navigation Expresion in Object-Oriented Modelling. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:123-137 [Conf ] Reiko Heckel Compositional Verification of Reactive Systems Specified by Graph Transformation. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:138-153 [Conf ] Stefan Kahrs , Donald Sannella Reflections on the Design of a Specification language. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:154-170 [Conf ] Ulrike Lechner Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:171-187 [Conf ] Tiziana Margaria , Bernhard Steffen Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:188-204 [Conf ] Alexandre Mota , Augusto Sampaio Model-Checking CSP-Z. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:205-220 [Conf ] Julia Padberg , Magdalena Gajewsky , Claudia Ermel Rule-Based Refinement of High-Level Nets Preserving Safety Properties. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:221-238 [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 ] FASE, 1998, pp:239-254 [Conf ] Hanne Riis Nielson , Torben Amtoft , Flemming Nielson Behaviour Analysis and Safety Conditions: A Case Study in CML. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:255-269 [Conf ] Anders Sandholm , Michael I. Schwartzbach Distributed Safety Controllers for Web Services. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:270-284 [Conf ] Peter Scholz A Refinement Calculus for Statecharts. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:285-301 [Conf ] Bettina Sucrow Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:302-317 [Conf ] Ralf Behnke , Rudolf Berghammer , Erich Meyer , Peter Schneider RELVIEW - A System for Calculating With Relations and Relational Programming. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:318-321 [Conf ] Eric Dubois ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:322-325 [Conf ] Josef Tapken MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:326-329 [Conf ]