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