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