Introducing two widely-used approaches to the formal specification of software systems, this book considers VDM and the algebraic approach. In each case, the emphasis is intuitive, rather than mathematical and shows the reader how to construct a formal specification from the first principles by using general procedures that can be followed each time. Familiar applications are referred to throughout and examples, small case studies and problems accompany each chapter. The two approaches are brought together in one large joint case study at the end of the book, as well as a section comparing and contrasting them. The book includes a discussion of prototyping using Prolog, OBJ3 and Miranda. It should be suitable for advanced undergraduates; postgraduates in computing and software engineering; software engineers; programmers; and other computing professionals.
Reihe
Sprache
Verlagsort
Verlagsgruppe
McGraw-Hill Education - Europe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
Höhe: 246 mm
Breite: 189 mm
Gewicht
ISBN-13
978-0-07-707735-8 (9780077077358)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Introduction to formal specification; mathematical structures for formal specification; introduction to model-based specification using VDM; the sequence and map types; building up VDM specifications; specification case study in VDM; prototyping VDM specifications; algebraic specification of abstract data types; the queue and binary tree; algebras and abstract data types; building larger specifications; canonical terms and proof obligations; prototyping algebraic specifications; joint case study - development of a neural network specification; background, comparison and summary.
