Jump to ratings and reviews
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

Rate this book
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

About the author

L.M.G. Feijs

3 books

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
1 (33%)
4 stars
1 (33%)
3 stars
1 (33%)
2 stars
0 (0%)
1 star
0 (0%)
No one has reviewed this book yet.

Can't find what you're looking for?

Get help and learn more about the design.