ENGLISH

Specification and development of interactive systems: focus on streams, interfaces, and refinement

By Manfred Broy , Ketil Stølen

Book information

Publisher
Springer
Year
2001
ISBN
1461265185, 978-1-4612-6518-4, 978-1-4613-0091-5
Language
english
Format
DJVU
Filesize
2 MB (2531699 bytes)
Series
Monographs in Computer Science
Edition
Reprint
Pages
356\356
Library
kolxoz
DPI
600
Time added
2015-12-12 14:00:00

Description

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

Similar books