Advertisement

Programmentwicklung und Verifikation

  • Gerald Futschek

Part of the Springers Angewandte Informatik book series (SPINFO)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Gerald Futschek
    Pages 1-5
  3. Gerald Futschek
    Pages 6-18
  4. Gerald Futschek
    Pages 19-30
  5. Gerald Futschek
    Pages 31-35
  6. Gerald Futschek
    Pages 36-48
  7. Gerald Futschek
    Pages 49-76
  8. Gerald Futschek
    Pages 77-89
  9. Gerald Futschek
    Pages 106-129
  10. Gerald Futschek
    Pages 130-141
  11. Gerald Futschek
    Pages 142-148
  12. Gerald Futschek
    Pages 149-157
  13. Back Matter
    Pages 158-190

About this book

Introduction

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.

Keywords

Beweis Datenstruktur Dokumentation Entwicklung Programmentwicklung Programmiersprache Programmiersprache C Programmverifikation Semantik Software Sprache Suche Variable Verifikation Zustandsraum

Authors and affiliations

  • Gerald Futschek
    • 1
  1. 1.Technische Universität WienÖsterreich

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-8795-1
  • Copyright Information Springer-Verlag Vienna 1989
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-81867-1
  • Online ISBN 978-3-7091-8795-1
  • Series Print ISSN 0178-0069
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Aerospace