Practical Formal Methods with Vdm
Published on 1. September 1991
Book
Paperback/Softback
480 pages
978-0-07-707214-8 (ISBN)
Description
This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.
More details
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
Professional and scholarly
Illustrations
Illustrations
Dimensions
Width: 213 mm
Weight
9400 gr
ISBN-13
978-0-07-707214-8 (9780077072148)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Formal methods of software; development; logic; a language for specification; sets; maps; sequences; composite objects; data invariants; specifying systems; large systems; from specification to code; program development; data refinement; a simple text editor; the development of the editor; the buffer abstract machine; the user interface; further development of the editor; postscript. Appendices: a summary of notation; some auxilliary functions; a mathematical concrete syntax for VDM-SL; proof obligation; program refinement rules; informal derivations for the proof rules.