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.
Specification and Development of Interactive Systems
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
In modern technology we find interactive systems in many different forms and variations. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
conditional refinement, behavioral refinement, lossy buffer, abracadabra protocol, received data element, timed driver, elementary specifications, refinement modulo, channel name parameters, interface refinement, composite specification, timed frame, full realizability, prefix monotonic, equational style, priming convention, syntactic interface, realizable specifications, unrealizable specification, timed streams, acknowledge channel, initial control state, boundedness constraints, refinement pair, untimed specification Key Phrases - Capitalized Phrases (CAPs): (learn more)
More Examples, Buf of Section, Correct Dist, Focus Representation New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
In modern technology we find interactive systems in many different forms and variations. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
conditional refinement, behavioral refinement, lossy buffer, abracadabra protocol, received data element, timed driver, elementary specifications, refinement modulo, channel name parameters, interface refinement, composite specification, timed frame, full realizability, prefix monotonic, equational style, priming convention, syntactic interface, realizable specifications, unrealizable specification, timed streams, acknowledge channel, initial control state, boundedness constraints, refinement pair, untimed specification Key Phrases - Capitalized Phrases (CAPs): (learn more)
More Examples, Buf of Section, Correct Dist, Focus Representation New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 23
books:
See all 23 books this book cites
39
books
cite this book:
See all 39 books citing this book
- Systems Analysis and Design by Alan Dennis in Back Matter
- Software Engineering by Gregory W. Jones in Back Matter
- Real-Time Object-Oriented Modeling by Bran Selic in Back Matter
- On a Method of Multiprogramming (Monographs in Computer Science) by W.H.J. Feijen in Front Matter
- Geometrical Methods in Robotics (Monographs in Computer Science) by J. M. Selig in Front Matter
See all 23 books this book cites
- Formal Methods for Open Object-Based Distributed Systems V (IFIP Advances in Information and Communication Technology) by Bart Jacobs on page 42, and page 60
- Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers (Lecture ... / Programming and Software Engineering) by Stefan Leue on page 24, and Back Matter
- Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers (Lecture Notes in Computer Science) by Manfred Broy on page 343, and page 350
- Software Architecture: First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings (Lecture Notes in Computer Science) by Flavio Oquendo on page 271
- Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings (Lecture Notes in Computer Science) by Chris George on page 482
See all 39 books citing this book
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Information Systems
- Books > Computers & Technology > Computer Science > Systems Analysis & Design
- Books > Computers & Technology > Networking > Network Administration
- Books > Computers & Technology > Programming
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Engineering
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Professional & Technical > Engineering
- Books > Science & Math > Mathematics
- Books > Science & Math > Physics > System Theory
