The Specification of Complex Systems

Front Cover
Addison-Wesley, Jan 1, 1986 - Reference - 143 pages
0 Reviews
Presents a comparison of formal specification methods, including algebraic specification, state-model specification using the Vienna development method (VDM), and the specification of concurrent systems (using Milner's CCS)

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books


Chapter Models and formal systems
an electronic office
Algebraic specification

6 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

References from web pages

The Specification of Complex Systems
The Specification of Complex Systems. Purchase this Book · Purchase this Book. Source. Pages: 160. Medium: Hardcover. Year of Publication: 1986 ... citation.cfm?id=576678

Models for Undergraduate Project Courses in Software Engineering
The Specification of Complex Systems,. Chapter 7. Addison-Wesley, Wokingham, England, 1986. • [Fagan76] me Fagan. "Design and Code Inspections to Reduce ... pub/ documents/ 91.reports/ pdf/ tr10.91.pdf

Bibliographic information