Programming with VDM

An Introduction

F.D. Rolland (Autor)

Buch | Hardcover

136 Seiten

1992
Palgrave Macmillan (Verlag)
978-0-333-56520-9 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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.

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".

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.

Erscheint lt. Verlag	12.5.1992
Reihe/Serie	Macmillan Computer Science S.
Zusatzinfo	8ill.
Verlagsort	Basingstoke
Sprache	englisch
Maße	156 x 234 mm
Gewicht	269 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Informatik ► Software Entwicklung ► Objektorientierung
ISBN-10	0-333-56520-7 / 0333565207
ISBN-13	978-0-333-56520-9 / 9780333565209
Zustand	Neuware