Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science) - Hardcover
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.
"synopsis" may belong to another edition of this title.
Synopsis:
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 given system's behavior and/or structure. This book provides 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 the 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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2001
- ISBN 10 0387950737
- ISBN 13 9780387950730
- BindingHardcover
- Number of pages363
Buy New
Learn more about this copy
£ 24.34
Shipping:
£ 3.13
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Specification and Development of Interactive Systems
Seller:
Rating
Book Description Condition: New. pp. 370. Seller Inventory # 26316152
Buy New
£ 24.34
Convert currency
Stock Image
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Seller:
Rating
Book Description hardcover. Condition: New. Seller Inventory # 14B18852
Buy New
£ 25.56
Convert currency
Stock Image
Specification and Development of Interactive Systems
Seller:
Rating
Book Description Condition: New. pp. 370 Illus. Seller Inventory # 7564583
Buy New
£ 23.48
Convert currency
Stock Image
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS
Published by
SP SPRINGER
(2001)
ISBN 10: 0387950737
ISBN 13: 9780387950730
New
Hardcover
Quantity: 18
Seller:
Rating
Book Description Condition: New. New. Ship within 24hrs. Satisfaction 100% guaranteed. I Ships from multiple Locations I "Special Note" We do not Provide Service On APO & PO BOX Box addresses. Delivery with In 7-14 working Day Only. This Books ship from the United Kingdom & USA other locations in India depending on your location and availability. Seller Inventory # CBST 9780387950730
Buy New
£ 31.25
Convert currency
Stock Image
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS
Published by
SP SPRINGER
(2001)
ISBN 10: 0387950737
ISBN 13: 9780387950730
New
Hardcover
Quantity: 18
Seller:
Rating
Book Description Condition: New. New. Ship within 24hrs. Satisfaction 100% guaranteed. I Ships from multiple Locations I "Special Note" We do not Provide Service On APO & PO BOX Box addresses. Delivery with In 7-14 working Day Only. This Books ship from the United Kingdom & USA other locations in India depending on your location and availability. Seller Inventory # CBSB 9780387950730
Buy New
£ 31.25
Convert currency
Stock Image
Specification And Development Of Interactive Systems
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-78608
Buy New
£ 32.21
Convert currency
International Edition
Specification And Development Of Interactive Systems
International Edition
Seller:
Rating
Book Description Condition: New. Brand New Paperback International Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-61424
Buy New
£ 37.56
Convert currency
Stock Image
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-89885
Buy New
£ 38.77
Convert currency
Stock Image
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-89885
Buy New
£ 40.35
Convert currency
Stock Image
Specification and Development of Interactive Systems - FOCUS on Streams, Interfaces, and Refinement
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-78609
Buy New
£ 40.52
Convert currency