Mathematical Methods in Program Development

  • Manfred Broy
  • Birgit Schieder
Conference proceedings

Part of the NATO ASI Series book series (volume 158)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Eliminating the Chaff—Again: Banquet Speech at Marktoberdof 1996

  3. Envoi Marketoberdorf 1996

    1. C. A. R. Hoare
      Pages 9-10
  4. Designing Proofs and Programs

    1. Front Matter
      Pages 11-12
    2. Edsger W. Dijkstra
      Pages 17-18
    3. Edsger W. Dijkstra
      Pages 19-24
    4. Edsger W. Dijkstra
      Pages 27-28
    5. Edsger W. Dijkstra
      Pages 29-31
    6. Edsger W. Dijkstra
      Pages 35-35
    7. Edsger W. Dijkstra
      Pages 41-42
    8. W. H. J. Feijen, A. J. M. van Gasterenf
      Pages 53-81
    9. David Gries
      Pages 83-126
  5. Examples of Protocol Design

    1. Front Matter
      Pages 127-128
    2. Burghard von Karger
      Pages 201-212
  6. Languages and Models for Program Design

    1. Front Matter
      Pages 213-214
    2. Friedrich L. Bauer
      Pages 215-269
    3. C. A. R. Hoare
      Pages 313-367
  7. Programming Paradigms

    1. Front Matter
      Pages 369-370
    2. Kathleen Fisher, John C. Mitchell
      Pages 371-407
    3. Gert Smolka
      Pages 409-432
  8. Mechanical Proof Assistance

    1. Front Matter
      Pages 459-460
    2. Lawrence C. Paulson
      Pages 461-498
  9. Back Matter
    Pages 529-537

About these proceedings


Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.


Constraint logic programming S Software Engineering Software specification Software verfication Software-Spezifikation Software-Verifikation System engineering Systementwicklung Systemspezifikation development parallelism programming software

Editors and affiliations

  • Manfred Broy
    • 1
  • Birgit Schieder
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-64588-4
  • Online ISBN 978-3-642-60858-2
  • Buy this book on publisher's site