| 2000 | Applying RT-Z to Develop Safety-Critical Systems. | Carsten Shl |
| 2000 | Memex Is Not Enough. | Richard Mark Soley |
| 2000 | Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. | Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Humann |
| 2000 | Foundations for Software Configuration Management Policies Using Graph Transformations. | Francesco Parisi-Presicce, Alexander L. Wolf |
| 2000 | Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. | Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky |
| 2000 | Formal Specification of Object-Oriented Meta-modelling. | Gunnar vergaard |
| 2000 | A Model for Describing Object-Oriented Systems from Multiple Perspectives. | Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar |
| 2000 | More About TAS and IsaWin - Tools for Formal Program Development. | Christoph Lth, Burkhart Wolff |
| 2000 | Structuring and Design of Reactive Systems Using RSDS and B. | Kevin Lano, Kelly Androutsopoulos, David Clark |
| 2000 | What Is 'Mathematicalness' in Software Engineering? | Hidetaka Kondoh |
| 2000 | Parallel Refinement Mechanisms for Real-Time Systems. | Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli |
| 2000 | A Case Study on Using Automata in Control Synthesis. | Thomas Hune, Anders Sandholm |
| 2000 | Verification of Object Oriented Programs Using Class Invariants. | Kees Huizing, Ruurd Kuiper |
| 2000 | Java Program Verification via a Hoare Logic with Abrupt Termination. | Marieke Huisman, Bart Jacobs |
| 2000 | Software as Learning: Quality Factors and Life-Cycle Revised. | Jos Hernndez-Orallo, M. Jos Ramrez-Quintana |
| 2000 | From Play-In Scenarios to Code: An Achievable Dream. | David Harel |
| 2000 | Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. | Pablo Gruer, Vincent Hilaire, Abder Koukam |
| 2000 | Analyzing Non-functional Properties of Mobile Agents. | Pascal Fradet, Valrie Issarny, Siegfried Rouvrais |
| 2000 | A Formal Approach to Heterogeneous Software Modeling. | Alexander Egyed, Nenad Medvidovic |
| 2000 | System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. | Giovanna Dondossola, Oliver Botti |
| 2000 | A Process Algebra for Real-Time Programs. | Henning Dierks |
| 2000 | Using Maude. | Manuel Clavel, Francisco Durn, Steven Eker, Patrick Lincoln, Narciso Mart-Oliet, Jos Meseguer, Jose F. Quesada |
| 2000 | Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. | Franoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
| 2000 | Formal System Development with KIV. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums |
| 2000 | Using Domain-Specific Languages for the Realization of Component Composition. | Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Snbl |