Abstract is missing.
- Extreme Programming: A Humanistic Discipline of Software DevelopmentKent Beck. 1-6 [doi]
- Some Mistakes I Have and What I Have Learned from ThemCliff B. Jones. 7-20 [doi]
- Specifying and Analyzing Dynamic Software ArchitecturesRobert Allen, Rémi Douence, David Garlan. 21-37 [doi]
- Observational Proofs with Critical ContextsNarjes Berregeb, Adel Bouhoula, Michaël Rusinowitch. 38-53 [doi]
- Integrating AORTA with Model-Based Data Specification LanguagesSteven Bradley, William Henderson, David Kendall, Adrian Robson. 54-70 [doi]
- Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case StudyRobert Büssow, Robert Geisler, Marcus Klar. 71-87 [doi]
- Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software ComponentsWolfgang Grieskamp, Maritta Heisel, Heiko Dörr. 88-106 [doi]
- Algebra Transformation Systems and their CompositionMartin Große-Rhode. 107-122 [doi]
- Navigation Expresion in Object-Oriented ModellingAli Hamie, John Howse, Stuart Kent. 123-137 [doi]
- Compositional Verification of Reactive Systems Specified by Graph TransformationReiko Heckel. 138-153 [doi]
- Reflections on the Design of a Specification languageStefan Kahrs, Donald Sannella. 154-170 [doi]
- Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languagesUlrike Lechner. 171-187 [doi]
- Backtracking-Free Design Planning by Automatic Synthesis in METAFrameTiziana Margaria, Bernhard Steffen. 188-204 [doi]
- Model-Checking CSP-ZAlexandre Mota, Augusto Sampaio. 205-220 [doi]
- Rule-Based Refinement of High-Level Nets Preserving Safety PropertiesJulia Padberg, Magdalena Gajewsky, Claudia Ermel. 221-238 [doi]
- Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control MechanismsJoy N. Reed, D. M. Jackson, B. Deianov, George M. Reed. 239-254 [doi]
- Behaviour Analysis and Safety Conditions: A Case Study in CMLHanne Riis Nielson, Torben Amtoft, Flemming Nielson. 255-269 [doi]
- Distributed Safety Controllers for Web ServicesAnders Sandholm, Michael I. Schwartzbach. 270-284 [doi]
- A Refinement Calculus for StatechartsPeter Scholz. 285-301 [doi]
- Refining Formal Specifications of Human Computer Interaction by Graph Rewrite RulesBettina Sucrow. 302-317 [doi]
- RELVIEW - A System for Calculating With Relations and Relational ProgrammingRalf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider. 318-321 [doi]
- ALBERT: A Formal Language and Its Supporting Tools for Requirements EngineeringEric Dubois. 322-325 [doi]
- MOBY/PLC - A Design Tool for Hierarchical Real-Time AutomataJosef Tapken. 326-329 [doi]