A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)
Автор
 
Год
 
Страниц
 
418
ISBN
 
3540233423
Издатель
 
Prima Games
Категория
 
Проектирование ПО
Искать в интернет библиотекахКупить

Описание:

Book DescriptionThis book presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented language, and their modularity relates to aspects in aspect-oriented programming. The emphasis is on theoretical understanding of reactive behaviors, and on using "horizontal" modularity to manage their complexity. Special chapters are devoted to the applicability of the theory to distributed and real-time systems. Incremental specification is illustrated in the book by a number of examples of varying size and complexity.

Похожие книги

Stochastic complexity in statistical inquiryStochastic complexity in statistical inquiry
Автор: Jorma Rissanen
Год: 1989
Managing Complexity in Global Organizations (IMD Executive Development Series)Managing Complexity in Global Organizations (IMD Executive Development Series)
Автор: Ulrich Steger, Wolfgang Amann, Martha Maznevski
Год: 2007
The Interaction of Complexity and Management:The Interaction of Complexity and Management:
Автор: Michael Lissack
Год: 1997