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

You looking to find the "A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)" Good news! You can purchase A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series) with secure price and compare to view update price on this product. And deals on this product is available only for limited time.

   

Product Description

This 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.

</p>

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

I really bought this book because I agree with the author: reactive systems are the best way to capture the complexity of real-time sytems. The content of the book is decent, it has most of the important concepts of reactive systems. Nevertheless, the presentation is not what I wanted: it is not a top down categorization and presenation of concepts but more of a linear presentation adapted towards supporting a course on on the subject. Maybe as course supporting material the book deserves a better rating but I was not looking for course.

Most of the consumer Reviews tell that the "A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)" are high quality item. You can read each testimony from consumers to find out cons and pros from A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series) ...