Skip to main content
SpringerLink
Log in
Book cover

Programmentwicklung und Verifikation

  • Book
  • © 1989

Overview

Authors:
  1. Gerald Futschek

    1. Technische Universität Wien, Österreich

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Springers Angewandte Informatik (SPINFO)

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 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.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 (12 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Warum Verifizieren von Programmen?

    • Gerald Futschek
    Pages 1-5

  3. Einführende Beispiele

    • Gerald Futschek
    Pages 6-18

  4. Zusicherungen (Assertions)

    • Gerald Futschek
    Pages 19-30

  5. Programmzustände und Zustandsraum

    • Gerald Futschek
    Pages 31-35

  6. Spezifizieren von Programmen

    • Gerald Futschek
    Pages 36-48

  7. Verifikationsregeln (Verification rules)

    • Gerald Futschek
    Pages 49-76

  8. Entwickeln von Schleifen

    • Gerald Futschek
    Pages 77-89

  9. Die schwächste Precondition (weakest precondition)

    • Gerald Futschek
    Pages 90-105

  10. Beispiele für Programmentwicklungen

    • Gerald Futschek
    Pages 106-129

  11. Unterprogramme (Prozeduren)

    • Gerald Futschek
    Pages 130-141

  12. Invertieren von Programmen

    • Gerald Futschek
    Pages 142-148

  13. Parallele Programme

    • Gerald Futschek
    Pages 149-157

  14. Back Matter

    Pages 158-190
    Download chapter PDF
Back to top

Keywords

About this book

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung führt, werden in diesem Buch beschrieben. Die Programme und die Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhängig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verständnis von Programmen erreichen wollen. Der Leser soll die vorgestellten Methoden und Denkweisen bei der Entwicklung seiner eigenen Programme anwenden lernen, um so effizientere und sicherere Software zu erzeugen.

Authors and Affiliations

  • Technische Universität Wien, Österreich

    Gerald Futschek

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation