Introduction to Formal Specification with Z and VDM
McGraw-Hill Publishing Co. (Verlag)
978-0-07-707907-9 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.
Part 1 Contemporary software engineering: the nature of software; the definition phase; development and maintenance phases. Part 2 Formal approaches to software development: specification, verification and correctness. Part 3 Discrete maths for the software engineer: logic; set theory; case study; relations and functions; case study; sequences; bags; case study; recursive specification; strengthening our specifications. Part 4 The specification language Z: essential Z; Z schema and the schema calculus. Part 5 Z case studies: generic stacks and queues; the symbol table; a drinks dispenser machine. Part 6 VDM-SL: essential VDM; the mathematics of VDM; abstract states and operations in VDM. Part 7 VDM-SL case studies: generic stacks and queues; the symbol table; a drinks dispenser machine. Part 8 Epilogue.
| Erscheint lt. Verlag | 1.11.1994 |
|---|---|
| Reihe/Serie | McGraw-Hill International Series in Software Engineering |
| Zusatzinfo | 24ill. |
| Verlagsort | London |
| Sprache | englisch |
| Maße | 174 x 247 mm |
| Gewicht | 840 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Software Entwicklung ► Objektorientierung | |
| Mathematik / Informatik ► Mathematik | |
| ISBN-10 | 0-07-707907-8 / 0077079078 |
| ISBN-13 | 978-0-07-707907-9 / 9780077079079 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
