Abstract is missing.
- On the Relevance of Formal Methods to Software DevelopmentChristiane Floyd. 1-11
- Combining Algebraic and Predicative Specifications in LarchJames J. Horning. 12-26
- The Role of Proof Obligations in Software DesignCliff B. Jones. 27-41
- Functional Semantics of ModulesJohn D. Gannon, Richard G. Hamlet, Harlan D. Mills. 42-59
- Intuition in Software DevelopmentPeter Naur. 60-79
- A Rational Design Process: How and Why to Fake ItDavid Lorge Parnas, Paul C. Clements. 80-100
- Formalization in Systems DevelopmentLars Mathiassen, Andreas Munk-Madsen. 101-116
- Specification and Prototyping: Some Thoughts on Why They Are SuccessfulDaniel M. Berry, Jeannette M. Wing. 117-128
- A Formal Specification of Line Representations on Graphics DevicesLynn S. Marshall. 129-147
- Experiences with the PSG - Programming System GeneratorGregor Snelting. 148-162
- Software Construction Using Typed FragmentsNazim H. Madhavji, Nikos Leoutsarakos, Dimitri Vouliouris. 163-178
- Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support EnvironmentGregor Engels, Wilhelm Schäfer. 179-193
- Multidimensional Tree-Structured File SpacesDoug Kimelman. 194-213
- A Theory of Abstract Data Types for Program Development: Bridging the Gap?T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler. 214-230
- Program Development and Documentation by Informal Transformations and DerivationsGiovanna Petrone, Luigi Petrone. 231-245
- ASSPEGIQUE: An Integrated Environment for Algebraic SpecificationsMichel Bidoit, Christine Choppy. 246-260
- Application of Prolog to Test Sets Generation from Algebraic SpecificationsLuc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel. 261-275
- A PROLOG Environment for Developing and Reasoning about Data TypesJieh Hsiang, Mandayam K. Srivas. 276-293
- Algebraic Specification of Synchronisation and Errors: A Telephonic ExampleBrigitte Biebow, Jacques Hagelstein. 294-308
- Modelling Concurrent ModulesRainer Isle, Klaus-Peter Löhr. 309-324
- Synthesis of Parallel Programs InvariantsE. Pascal Gribomont. 325-338
- Analyzing Safety and Fault Tolerance Using Time Petri NetsNancy G. Leveson, Janice L. Stolzy. 339-355
- Algebraic Specification Of A Communication SchedulerMathai Joseph, Abha Moitra. 356-370
- The Integration and Distribution Phase in the Software Life CycleG. Casaglia, F. Pisani. 371-384
- Formalized Software Development in an Industrial EnvironmentOtthein Herzog. 385-394
- Object Oriented Concurrent Programming and Industrial Software ProductionAkinori Yonezawa, Yoshihiro Matsumoto. 395-409
- Experience of Introducing the Vienna Development Method into an Industrial OrganizationM. I. Jackson, B. Tim Denvir, R. C. Shaw. 410-422
- EDP System Development Methodology: Auditability and ControlAvi Rushinek, Sara F. Rushinek. 423-434
- Experiences with Object Oriented ProgrammingKarl-Heinz Alws, Ingrid Glasner-Schapeler. 435-452