1. TAPSOFT 1985: Berlin, Germany
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.): Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE). Springer 1985 Lecture Notes in Computer Science ISBN 3-540-15199-0
Introduction
- Christiane Floyd: On the Relevance of Formal Methods to Software Development. 1-11
Advanced Seminar on the Role of Semantics in Software Development
- James J. Horning: Combining Algebraic and Predicative Specifications in Larch. 12-26
- Cliff B. Jones: The Role of Proof Obligations in Software Design. 27-41
- Peter Naur: Intuition in Software Development. 60-79
Colloquium on Software Engineering
Concepts and Methods in Software Development
- Daniel M. Berry, Jeannette M. Wing: Specification and Prototyping: Some Thoughts on Why They Are Successful. 117-128
- Lynn S. Marshall: A Formal Specification of Line Representations on Graphics Devices. 129-147
Tools and Environments
- Gregor Snelting: Experiences with the PSG - Programming System Generator. 148-162
- Nazim H. Madhavji, Nikos Leoutsarakos, Dimitri Vouliouris: Software Construction Using Typed Fragments. 163-178
- Gregor Engels, Wilhelm Schäfer: Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. 179-193
- Doug Kimelman: Multidimensional Tree-Structured File Spaces. 194-213
Rigorous Approaches to Programming
- T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler: A Theory of Abstract Data Types for Program Development: Bridging the Gap? 214-230
- Giovanna Petrone, Luigi Petrone: Program Development and Documentation by Informal Transformations and Derivations. 231-245
- Michel Bidoit, Christine Choppy: ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. 246-260
Abstract Data Types in Software Development
- Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel: Application of Prolog to Test Sets Generation from Algebraic Specifications. 261-275
- Jieh Hsiang, Mandayam K. Srivas: A PROLOG Environment for Developing and Reasoning about Data Types. 276-293
- Brigitte Biebow, Jacques Hagelstein: Algebraic Specification of Synchronisation and Errors: A Telephonic Example. 294-308
Views of Concurrency
- E. Pascal Gribomont: Synthesis of Parallel Programs Invariants. 325-338
- Nancy G. Leveson, Janice L. Stolzy: Analyzing Safety and Fault Tolerance Using Time Petri Nets. 339-355
Industrial Experience
- Otthein Herzog: Formalized Software Development in an Industrial Environment. 385-394
- Akinori Yonezawa, Yoshihiro Matsumoto: Object Oriented Concurrent Programming and Industrial Software Production. 395-409
- M. I. Jackson, B. Tim Denvir, R. C. Shaw: Experience of Introducing the Vienna Development Method into an Industrial Organization. 410-422
- Avi Rushinek, Sara F. Rushinek: EDP System Development Methodology: Auditability and Control. 423-434
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team