Mohlo by se vám také líbit

Více informací o knize Practical Theory of Reactive Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering

• Plný název: Practical Theory of Reactive Systems
• Podnázev: Incremental Modeling of Dynamic Behaviors
• Autor: R. Kurki-Suonio
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 420
• EAN: 9783642062377
• ISBN: 3642062377
• ID: 01651511
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 676 g
• Rozměry: 23 × 156 × 24 mm
• Datum vydání: 21. October 2010

Oblíbené z jiného soudku

---

---

---