A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
- Author
- Reino Kurki-Suonio
- Publication Year
- 2005
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Computer Science
- Download Book Read book
Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity
Keywords: Computer science / Aspect-oriented Specification / Aspect-oriented programming / Incremental Modeling / Reactive Systems / Temporal Logic of Actions / Complexity / Logic / Modeling
