Für diesen Artikel ist leider kein Bild verfügbar.

Programming Approach to Formal Methods

Chris Casey (Autor)

Buch | Softcover

224 Seiten

1994
McGraw-Hill Publishing Co. (Verlag)
978-0-07-707968-0 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

A comprehensive investigation into formal methods for program specification and verifications. Using VDM and Pascal, the text shows how formal notations can assist software development and the communication and expression of ideas. Exercises and solutions are included.

This comprehensive text is an investigation into formal methods for program specification and verification. It shows how formal notations can assist the process of developing software and in communicating and expressing ideas. These ideas are illustrated using VDM and Pascal. This work demonstrates in clear language how the principles of formal methods can be applied to any software development.

Software development and quality; programming language features; key programming concepts; simple specifications and rigorous arguments; reasoning about programs without loops; induction, recursion and loops; sets; records; MAPS; sequences; development from formal specifications; program design and formal methods; an example of formal methods; other formal specification languages; summary of notation; hints and solutions to exercises.

Erscheint lt. Verlag	31.5.1994
Reihe/Serie	McGraw-Hill International Series in Software Engineering
Zusatzinfo	bibliography
Verlagsort	London
Sprache	englisch
Maße	189 x 246 mm
Gewicht	5600 g
Themenwelt	Informatik ► Office Programme ► Outlook
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Informatik ► Software Entwicklung ► Objektorientierung
ISBN-10	0-07-707968-X / 007707968X
ISBN-13	978-0-07-707968-0 / 9780077079680
Zustand	Neuware