A Practical Theory of Reactive Systems
Kurki-Suonio, R.
Produktnummer:
18ab9f8d33708d4396893c38fdd7f12e03
Autor: | Kurki-Suonio, R. |
---|---|
Themengebiete: | Aspect-oriented Specification Aspect-oriented programming Incremental Modeling Reactive Systems Temporal Logic of Actions complexity logic modeling |
Veröffentlichungsdatum: | 21.10.2010 |
EAN: | 9783642062377 |
Sprache: | Englisch |
Seitenzahl: | 420 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Springer Berlin |
Untertitel: | Incremental Modeling of Dynamic Behaviors |
Produktinformationen "A Practical Theory of Reactive Systems"
This book presents a practical theory of reactive systems. 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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen