Formal Specification and Design

Name: Formal Specification and Design
Price: 58.02 USD
Availability: InStock
ISBN: 9780521435925

ISBN-10: 0521435927

ISBN-13: 9780521435925

Edition: 2005

Authors: L. M. G. Feijs, H. B. M. Jonkers, S. Abramsky, P. H. Aczel, Y. Gurevich

List price: $58.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $58.02

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions,…

Book details

List price: $58.99
Copyright year: 2005
Publisher: Cambridge University Press
Publication date: 11/10/2005
Binding: Paperback
Pages: 352
Size: 6.69" wide x 9.65" long x 0.71" tall
Weight: 1.232
Language: English




Algebraic Specification



Introducing the basic concepts



Setting up algebraic specifications



Structuring algebraic specifications



Implementing algebraic specifications



State-Based Specification



From algebras to states



Setting up state-based specification



Structuring state-based specification



Implementing state-based specification



Advanced Techniques



Theoretical topics



Additional language constructs



Towards large systems


Bibliography


Appendices


Index