Items related to Formal Specification and Design: 35 (Cambridge Tracts...

Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35) - Softcover

Book 14 of 40: Cambridge Tracts in Theoretical Computer Science

Feijs, L. M. G.

 
9780521435925: Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Softcover
ISBN 10: 0521435927 ISBN 13: 9780521435925
Publisher: Cambridge University Press, 2008

Synopsis

The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.

"synopsis" may belong to another edition of this title.

Review

..".well-written...a good introduction to formal specification concepts. It is very readable and elegant. It may be used in an almost notation-independent way, not just by those who are interested in the COLD-K notation." H.I. Kilov, Computing Reviews

Book Description

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. Software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2008
Language
English
ISBN 10 
0521435927
ISBN 13 
9780521435925
Binding
Paperback
Number of pages
352