Kurki-Suonio | A Practical Theory of Reactive Systems | E-Book | www2.sack.de
E-Book

E-Book, Englisch, 440 Seiten

Kurki-Suonio A Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors
1. Auflage 2006
ISBN: 978-3-540-27348-6
Verlag: Springer-Verlag
Format: PDF
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

Incremental Modeling of Dynamic Behaviors

E-Book, Englisch, 440 Seiten

ISBN: 978-3-540-27348-6
Verlag: Springer-Verlag
Format: PDF
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

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.

Kurki-Suonio A Practical Theory of Reactive Systems jetzt bestellen!

Autoren/Hrsg.

Kurki-Suonio, R.
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.