Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (2001) (Monographs in Computer Science)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.
- Copyright:
- 2001
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9781461300915
- Related ISBNs:
- 9780387950730
- Publisher:
- Springer New York
- Date of Addition:
- 12/24/20
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Manfred Broy
- by Ketil Stølen
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy