Skip to main content
SpringerLink
Log in

Mathematical Methods in Program Development

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Manfred Broy

    1. Institut für Informatik, Technische Universität München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Birgit Schieder

    1. Institut für Informatik, Technische Universität München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: NATO ASI Subseries F: (NATO ASI F, volume 158)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Eliminating the Chaff—Again: Banquet Speech at Marktoberdof 1996

    1. Eliminating the Chaff—Again Banquet Speech at Marktoberdorf 1996

      • David Gries
      Pages 1-8

  3. Envoi Marketoberdorf 1996

    1. Envoi at Marktoberdorf 1996

      • C. A. R. Hoare
      Pages 9-10

  4. Designing Proofs and Programs

    1. Front Matter

      Pages 11-12
      Download chapter PDF

    2. Heuristics for a very simple Euclidean proof (EWD1180)

      • Edsger W. Dijkstra
      Pages 13-15

    3. Complete DAGs (EWD1204)

      • Edsger W. Dijkstra
      Pages 17-18

    4. A result of rabbit removal (EWD1208)

      • Edsger W. Dijkstra
      Pages 19-24

    5. For the record: painting the squared plane (EWD1212)

      • Edsger W. Dijkstra
      Pages 25-26

    6. The marriage agency (EWD1214)

      • Edsger W. Dijkstra
      Pages 27-28

    7. Courtesy Dr. Birgit Schieder (EWD1215)

      • Edsger W. Dijkstra
      Pages 29-31

    8. WLOG, or the misery of the unordered pair (EWD1223)

      • Edsger W. Dijkstra
      Pages 33-34

    9. My simplest theorem (EWD1232)

      • Edsger W. Dijkstra
      Pages 35-35

    10. The transitive closure of a wellfounded relation (EWD1241)

      • Edsger W. Dijkstra
      Pages 37-39

    11. The formula for sin.(α + β) (EWD1244a)

      • Edsger W. Dijkstra
      Pages 41-42

    12. A kind of converse of Leibniz’s Principle (EWD1245)

      • Edsger W. Dijkstra
      Pages 43-44

    13. The strengths of the academic enterprise (EWD1175)

      • Edsger W. Dijkstra
      Pages 45-52

    14. On a Method for the Formal Design of Multiprograms (AvG140/WF231)

      • W. H. J. Feijen, A. J. M. van Gasterenf
      Pages 53-81

    15. Foundations for Calculational Logic

      • David Gries
      Pages 83-126

  5. Examples of Protocol Design

    1. Front Matter

      Pages 127-128
      Download chapter PDF

    2. Specification and Design of a Transmission Protocol by Successive Refinements Using B1

      • J.-R. Abrial, L. Mussat
      Pages 129-200
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Institut für Informatik, Technische Universität München, München, Germany

    Manfred Broy, Birgit Schieder

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation