A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
- المؤلف
- Reino Kurki-Suonio
- سنة النشر
- 2005
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Computer Science
- تحميل الكتاب قراءة الكتاب
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
الكلمات المفتاحية: Computer science / Aspect-oriented Specification / Aspect-oriented programming / Incremental Modeling / Reactive Systems / Temporal Logic of Actions / Complexity / Logic / Modeling
