More Books:

Dynamics of Reactive Systems
Language: en
Pages: 439
Authors: A. L. Kuhl
Categories: Science
Type: BOOK - Published: 1988 - Publisher: Amer Inst of Aeronautics &

Books about Dynamics of Reactive Systems
Design Methods for Reactive Systems
Language: en
Pages: 457
Authors: Roel Wieringa
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Morgan Kaufmann

This book provides a framework for software design that shows where the techniques and approaches of design methods for software systems fit in. It discusses three methods in detail and demonstrates how to pick techniques from each of them. It also shows how to follow problem-solving steps that focus on
Temporal Verification of Reactive Systems
Language: en
Pages: 512
Authors: Zohar Manna, Amir Pnueli
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered
Modeling Reactive Systems with Statecharts
Language: en
Pages: 258
Authors: David Harel, Michal Politi
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: McGraw-Hill Companies

A description of a UML-like modeling system for designers who need to express the inner workings of complex real-time reactive applications. --
Dependable Software Systems Engineering
Language: en
Pages: 296
Authors: J. Esparza, O. Grumberg, S. Sickert
Categories: Computers
Type: BOOK - Published: 2016-04-19 - Publisher: IOS Press

In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and protecting the integrity of private data from cyber attack are both current preoccupations of society at large. While modern technologies have dramatically improved the quality