Abstract is missing.
- IntroductionBernd Krieg-Brückner. 3-34
- Specification: Algebraic SpecificationThomas Grünler. 35-53
- Specification: Development of ImplementationsMichael Breu. 54-79
- Specification: Distributed SystemsRainer Weber. 80-98
- TransformationJunbo Liu, Bernd Krieg-Brückner. 99-127
- VerificationAndrew D. McGettrick, Owen Traynor, David Duffy. 129-144
- A Language Family for Programming and Meta-ProgrammingBernd Krieg-Brückner. 147-148
- PA:::nn:::dA-S Reference ManualEinar W. Karlsen, Jesper Jørgensen II. 149-169
- Semantics of PA:::nn:::dA-SMichael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl. 171-222
- PA:::nn:::dA Reference ManualEinar W. Karlsen. 223-238
- PA:::nn:::dA Standard Types and Predefined Type SchemataStefan Kahrs. 239-249
- TrafoLa-S Reference ManualPedro de la Cruz. 251-261
- ControLa Reference ManualAlain Marcuzzi. 263-274
- TrafoLa-H Reference ManualReinhold Heckmann, Georg Sander. 275-313
- Uniform Transformational DevelopmentBernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor. 317-330
- Guided Tour of the PROSPECTRA SystemJunbo Liu, Owen Traynor, Steen Lynenskjold. 331-366
- Control: ControllerAlain Marcuzzi. 367-373
- Control: Library ManagerDominique Houdier. 374-388
- Program Development: PA:::nn:::dA-S EditorEinar W. Karlsen, Jesper Jørgensen II. 389-417
- Program Development: PA:::nn:::dA Transformer ShellEinar W. Karlsen. 418-449
- Program Development: Attributes for Transformation and ProofEinar W. Karlsen, Owen Traynor. 450-459
- Program Development: Completion SubsystemHubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas. 460-494
- Program Development: Proof SubsystemOwen Traynor. 495-521
- Transformation Development: The TrafoLa-S EditorJosé Luis Mañas, Pedro de la Cruz. 523-525
- Transformation Development: Translators from TrafoLa to SSL and TrafoLa-HBernd Gersdorf. 526-538
- Transformation Development: TrafoLa-H SubsystemMartin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm. 539-576
- System Development ComponentsJuan Antonio de Miguel. 577-586