
Programming with VDM
An Introduction
F.D. Rolland(Author)
Palgrave Macmillan (Publisher)
Published on 12. May 1992
Book
Hardback
136 pages
978-0-333-56520-9 (ISBN)
Description
This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading formal methods for program development. It adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Although the book is intended for readers with some experience of programming, no prior knowledge of mathematics is assumed: the contents include a chapter on the mathematics required for VDM. The final chapter contains a prototype electronic mail system, specified to use VDM and implemented in Modula-2. The author has also written " Relational Database Management With Oracle".
More details
Series
Language
English
Place of publication
Basingstoke
United Kingdom
Target group
College/higher education
Illustrations
8ill.
Dimensions
Height: 234 mm
Width: 156 mm
Weight
269 gr
ISBN-13
978-0-333-56520-9 (9780333565209)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
Formal specification and object-oriented design; mathematical foundations; functions; operations; composite objects; further structured object types; specifications using maps; a simple case study; appendix 1 - VDM specification language syntax; appendix 2 - Email system specified in Ada.