1. TAPSOFT 1985: Berlin, Germany

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
  
• John D. Gannon, Richard G. Hamlet, Harlan D. Mills:
  Functional Semantics of Modules. 42-59
  
• Peter Naur:
  Intuition in Software Development. 60-79
  
• David Lorge Parnas, Paul C. Clements:
  A Rational Design Process: How and Why to Fake It. 80-100
  

Colloquium on Software Engineering

Concepts and Methods in Software Development

• Lars Mathiassen, Andreas Munk-Madsen:
  Formalization in Systems Development. 101-116
  
• 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

• Rainer Isle, Klaus-Peter Löhr:
  Modelling Concurrent Modules. 309-324
  
• 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
  
• Mathai Joseph, Abha Moitra:
  Algebraic Specification Of A Communication Scheduler. 356-370
  

Industrial Experience

• G. Casaglia, F. Pisani:
  The Integration and Distribution Phase in the Software Life Cycle. 371-384
  
• 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
  
• Karl-Heinz Alws, Ingrid Glasner-Schapeler:
  Experiences with Object Oriented Programming. 435-452