Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9780387950730: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

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.

Top Search Results from the AbeBooks Marketplace

1.

Broy Manfred & Stolen Ketil
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Quantity Available: 3
Seller:
Books_Universe
(Sugarland, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Brand New. US Edition Book. We do not ship to Military Addresses. Fast Shipping with Order Tracking. For Standard Shipping 7-8 business days & Expedite Shipping 4-6 business days, after shipping. Bookseller Inventory # 0387950737-RMX

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 26.55
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds
International Edition
International Edition

2.

Bory M.
Published by Springer (2001)
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Quantity Available: 20
International Edition
Seller:
Books in my Basket
(New Delhi, India)
Rating
[?]

Book Description Springer, 2001. N.A. Book Condition: New. International Edition. International Edition. Bookseller Inventory # 416819

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 21.73
Convert Currency

Add to Basket

Shipping: US$ 4.83
From India to U.S.A.
Destination, Rates & Speeds

3.

Ketil Stolen
Published by Springer / CBS Publishers & Distributors Pvt. Ltd. (2001)
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Hardcover First Edition Quantity Available: > 20
Seller:
BookVistas
(New Delhi, DELHI, India)
Rating
[?]

Book Description Springer / CBS Publishers & Distributors Pvt. Ltd., 2001. Hardcover. Book Condition: New. First edition. Today\`s distributed systems are characterized by interactions-often complex-between many different hardware and software components cooperating and exchanging information. To simplify development of interactive systems and facilitate communication and documentation, experts of varying disciplines employ descriptions, or specifications, of a given system\`s behavior and/or structure. Specification and Development of Interactive Systems offers a unique approach to program and software development suitable for large distributed systems, with an emphasis on modular system development and systems engineering. The authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The method covers functional requirements, timing, structure, and implementation issues of systems. In addition, the book describes how to connect the models and techniques to tables and diagram-based methods popular in practical systems engineering. Topics and features: * Specification of interface behavior and modular top-down system development * Specification of time and the modeling of hardware/software systems * Interface refinement and the modeling of development steps leading from one level of abstraction to the next * State transition diagrams and tables and the usage of common description techniques, such as found in UML 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. The reader gains a comprehensive understanding of all fundamental models, techniques, and methods forinteractive system design. The book is an essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering. 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. Printed Pages: 363. Bookseller Inventory # 36377

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 29.87
Convert Currency

Add to Basket

Shipping: US$ 4.70
From India to U.S.A.
Destination, Rates & Speeds

4.

Ketil Stolen
Published by Springer / CBS Publishers & Distributors Pvt. Ltd. (2001)
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Hardcover First Edition Quantity Available: > 20
Seller:
A - Z Books
(New Delhi, DELHI, India)
Rating
[?]

Book Description Springer / CBS Publishers & Distributors Pvt. Ltd., 2001. Hardcover. Book Condition: New. First edition. Today\`s distributed systems are characterized by interactions-often complex-between many different hardware and software components cooperating and exchanging information. To simplify development of interactive systems and facilitate communication and documentation, experts of varying disciplines employ descriptions, or specifications, of a given system\`s behavior and/or structure. Specification and Development of Interactive Systems offers a unique approach to program and software development suitable for large distributed systems, with an emphasis on modular system development and systems engineering. The authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The method covers functional requirements, timing, structure, and implementation issues of systems. In addition, the book describes how to connect the models and techniques to tables and diagram-based methods popular in practical systems engineering. Topics and features: * Specification of interface behavior and modular top-down system development * Specification of time and the modeling of hardware/software systems * Interface refinement and the modeling of development steps leading from one level of abstraction to the next * State transition diagrams and tables and the usage of common description techniques, such as found in UML 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. The reader gains a comprehensive understanding of all fundamental models, techniques, and methods forinteractive system design. The book is an essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering. 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. Printed Pages: 363. Bookseller Inventory # 36377

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 29.87
Convert Currency

Add to Basket

Shipping: US$ 5.87
From India to U.S.A.
Destination, Rates & Speeds

5.

Bory M.
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Quantity Available: 1
Seller:
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Book Condition: New. New. Original edition. Perfect condition. Customer satisfaction our priority. Bookseller Inventory # ABE-FEB-37832

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 36.26
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

6.

Bory M.
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Quantity Available: 1
Seller:
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Book Condition: Brand New. New. SoftCover Original edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHUB37832

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 36.31
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

7.

Bory M.
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Softcover Quantity Available: 1
Seller:
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. New, SoftCover Original edition. Excellent Customer Service. Bookseller Inventory # ABEUSA-37832

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 38.71
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Bory M.
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Hardcover Quantity Available: > 20
Seller:
bookscollection
(Delhi, DELHI, India)
Rating
[?]

Book Description Book Condition: Brand New. HARDCOVER, Book Condition New, U.S. EDITION. We Do not Ship APO FPO AND PO BOX. . Printing in English language.NO CD AND ACCESS CODE. Quick delivery by USPS/UPS/DHL/FEDEX/ARAMEX ,Customer satisfaction guaranteed. We may ship the books from Asian regions for inventory purpose. Bookseller Inventory # ABE ORG##CB6181

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 35.19
Convert Currency

Add to Basket

Shipping: US$ 4.12
From India to U.S.A.
Destination, Rates & Speeds

9.

BROY MANFRED ET.AL
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Quantity Available: 5
Seller:
firstbookstore
(New Delhi, India)
Rating
[?]

Book Description Book Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Bookseller Inventory # AIND-3351

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 40.30
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

10.

Broy Manfred
Published by Springer
ISBN 10: 0387950737 ISBN 13: 9780387950730
New Quantity Available: 1
Print on Demand
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Book Condition: New. pp. 348 This item is printed on Demand. Bookseller Inventory # 7564583

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 33.04
Convert Currency

Add to Basket

Shipping: US$ 7.26
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book