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.