Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement /

Today's distributed systems are characterized by interactions, often complex, between many different hardware/software components cooperating and exchanging information. To reduce the complexity of the development of interactive systems, experts employ descriptions, or specifications, of a give...

Full description

Bibliographic Details

Main Author:	Broy, Manfred
Corporate Author:	SpringerLink (Online service)
Other Authors:	Stølen, Ketil
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 2001.
Series:	Monographs in computer science.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book