Practical Theory of Reactive Systems

Name: Practical Theory of Reactive Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540233428
Price: 19771 HUF
Availability: InStock

Incremental Modeling of Dynamic Behaviors

Szerző: R. Kurki-Suonio

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

19 771 Ft

This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Log...

Információk a könyvről

Szerző

R. Kurki-Suonio

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2005

oldal

420

EAN

9783540233428

ISBN

3540233423

Enbook ID

01559902

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

754

Méretek

155 x 235 x 29

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták