The Use of Formal Specification of Software

June 25–27, 1979, Berlin

  • H. K. Berg
  • W. K. Giloi
Conference proceedings

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 36)

Table of contents

  1. Front Matter
    Pages I-V
  2. Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg
    Pages 39-78
  3. D. L. Boyd, A. Pizzarello, W. T. Wood
    Pages 79-110
  4. D. L. Boyd, A. Pizzarello, W. T. Wood
    Pages 111-149
  5. H. K. Berg, W. K. Giloi
    Pages 150-196
  6. W. R. Franta, W. E. Boebert, H. K. Berg
    Pages 197-236
  7. H. K. Berg, W. R. Franta, T. G. Moher
    Pages 237-354

About these proceedings


The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of enforced system development standards which will ensure that end products will meet rigorous design requirements. On the one hand, advances in system architecture fUrther the application of system development standards to software and firmware design and production. On the other hand, the growth in complexity of future system architectures, in particular distri­ buted systems with their special problems of cooperation and parallelism, necessitate the use of rigorous specification and design techniques. In addition to hampering the design process, the lack of engineering techniques hinders research. In many cases, trial designs that are presented in abstract and informal terms do not force the de­ signer to face the full problem spectrum, and therefore may not sufficiently provide insight into the design process. To prepare for the forthcoming discipline and to provide a snapshot view of recent advances in software and firmware engineering, we organized in June of 1979 a seminar entitled: "The Use of Formal Specification of Software and Firmware". The seminar took place at the Heinrich-Hertz-Institute, Berlin, and attracted over 60 participants, most of them from the industry.


complexity design development software standards system development verification

Editors and affiliations

  • H. K. Berg
    • 1
  • W. K. Giloi
    • 2
  1. 1.Honeywell Inc.Corporate Computer Sciences CenterBloomingtonUSA
  2. 2.Institut für Informatik - CAMPTechnische Universität BerlinBerlin 10Germany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10442-1
  • Online ISBN 978-3-642-67881-3
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site