What do you think?
Rate this book
Cambridge Tracts in Theoretical Computer Science
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) 1st Edition by Feijs, L. M. G.; Jonkers, H. B. M. published by Cambridge University Press
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD. The kernel language is explained in detail, with many examples. Fundamental and advanced methods are also presented. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout so the book will be an excellent choice for courses in these areas.
Paperback
First published October 30, 1992
5 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.