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

Authors and Affiliations

Technische Universität Wien, Österreich

Gerald Futschek

Bibliographic Information

Book Title: Programmentwicklung und Verifikation
Authors: Gerald Futschek
Series Title: Springers Angewandte Informatik
DOI: https://doi.org/10.1007/978-3-7091-8795-1
Publisher: Springer Vienna
eBook Packages: Springer Book Archive
Softcover ISBN: 978-3-211-81867-1Published: 23 March 1989
eBook ISBN: 978-3-7091-8795-1Published: 13 March 2013
Series ISSN: 0178-0069
Edition Number: 1
Number of Pages: IX, 183
Topics: Programming Techniques, Software Engineering, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Authors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (12 chapters)

Front Matter

Back Matter

About this book