Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement (Paperback, Softcover reprint of the original 1st ed. 2001)
Loot Price: R1,580
Discovery Miles 15 800
|
|
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement (Paperback, Softcover reprint of the original 1st ed. 2001)
Series: Monographs in Computer Science
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.