L. M. G. FEIJS AND H. B. M. JONKERS Formal Specification and Design. Cambridge University Press (2005). ISBN-13: 9780521435925 ISBN-10: 0521435927. 29.00/$50.00351. Softbound.
Lutz Schröder · The Computer Journal · 2006
The necessity of enhancing software quality by means of formal approaches to software development is being increasingly widely recognized. Both traditionally and in current research, algebraic specification plays an important role in this context. Formal Specification and Design, originally published in 1992 and recently re-issued as paperback, gives a textbook level introduction to algebraic and state-based formal software development, using the wide-spectrum language COLD-K (common object-oriented language for design). At the same time, the book serves as a COLD-K user manual that complements more formal language descriptions. The book is divided into three parts, concerned with algebraic specification, state-based specification, and selected advanced topics, respectively. The algebraic part of COLD-K is based essentially on a partial first-order logic, extended with mechanisms for inductive definitions and notably with non-deterministic operators. The state-based aspects of COLD-K follow the states-as-algebras paradigm, which is combined with a version of dynamic logic featuring a...