Programming Approach to Formal Methods
Published on 31. May 1994
Book
Paperback/Softback
224 pages
978-0-07-707968-0 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Professional and scholarly
Illustrations
bibliography
Dimensions
Height: 246 mm
Width: 189 mm
Weight
5600 gr
ISBN-13
978-0-07-707968-0 (9780077079680)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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.