Abstract is missing.
- Essay on Software Engineering at the Turn of CenturyWladyslaw M. Turski. 1-20 [doi]
- Memex Is Not EnoughRichard Mark Soley. 21 [doi]
- From Play-In Scenarios to Code: An Achievable DreamDavid Harel. 22-34 [doi]
- Parallel Refinement Mechanisms for Real-Time SystemsPaul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli. 35-50 [doi]
- Applying RT-Z to Develop Safety-Critical SystemsCarsten Sühl. 51-65 [doi]
- A Process Algebra for Real-Time ProgramsHenning Dierks. 66-81 [doi]
- System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal ApproachesGiovanna Dondossola, Oliver Botti. 82-96 [doi]
- Structuring and Design of Reactive Systems Using RSDS and BKevin Lano, Kelly Androutsopoulos, David Clark. 97-111 [doi]
- Using Domain-Specific Languages for the Realization of Component CompositionMatthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül. 112-126 [doi]
- Analysing UML Active Classes and Associated State Machines - A Lightweight Formal ApproachGianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann. 127-146 [doi]
- Software as Learning: Quality Factors and Life-Cycle RevisedJosé Hernández-Orallo, M. José Ramírez-Quintana. 147-162 [doi]
- What Is Mathematicalness in Software Engineering?Hidetaka Kondoh. 163-177 [doi]
- A Formal Approach to Heterogeneous Software ModelingAlexander Egyed, Nenad Medvidovic. 178-192 [doi]
- Formal Specification of Object-Oriented Meta-modellingGunnar Övergaard. 193-207 [doi]
- Verification of Object Oriented Programs Using Class InvariantsKees Huizing, Ruurd Kuiper. 208-221 [doi]
- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design ProblemPablo Gruer, Vincent Hilaire, Abder Koukam. 222-236 [doi]
- A Model for Describing Object-Oriented Systems from Multiple PerspectivesTorsten Nelson, Donald D. Cowan, Paulo S. C. Alencar. 237-248 [doi]
- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net SystemsJulia Padberg, Kathrin Hoffmann, Magdalena Gajewsky. 249-265 [doi]
- Ready-Simulation Is Not Ready to Express a Modular Refinement RelationFrançoise Bellegarde, Jacques Julliand, Olga Kouchnarenko. 266-283 [doi]
- Java Program Verification via a Hoare Logic with Abrupt TerminationMarieke Huisman, Bart Jacobs. 284-303 [doi]
- Foundations for Software Configuration Management Policies Using Graph TransformationsFrancesco Parisi-Presicce, Alexander L. Wolf. 304-318 [doi]
- Analyzing Non-functional Properties of Mobile AgentsPascal Fradet, Valérie Issarny, Siegfried Rouvrais. 319-333 [doi]
- Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal MethodsHeike Wehrheim. 334-348 [doi]
- A Case Study on Using Automata in Control SynthesisThomas Hune, Anders Sandholm. 349-362 [doi]
- Formal System Development with KIVMichael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums. 363-366 [doi]
- More About TAS and IsaWin - Tools for Formal Program DevelopmentChristoph Lüth, Burkhart Wolff. 367-370 [doi]
- Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. 371-374 [doi]