Construction of Formal Specifications
Summary
The feel-good place to buy books
Construction of Formal Specifications by Lee Mccluskey
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.| SKU | Unavailable |
| ISBN 13 | 9780077077358 |
| ISBN 10 | 0077077350 |
| Title | Construction of Formal Specifications |
| Author | Lee Mccluskey |
| Series | Mcgraw-Hill International Series In Software Engineering |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | McGraw-Hill Education - Europe |
| Year published | 1994-03-01 |
| Number of pages | 415 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |