Cargando…
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed bydi?eren...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Texts in Theoretical Computer Science. An EATCS Series,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Prologue
- Components of a Theory
- Fundamentals
- Towards an Action Language
- Formal Properties of Behaviors
- Proving Behavioral Properties
- Building a Practical Theory
- Basic Language Facilities
- Fundamentals of Design Methodology
- Object Orientation Elaborated
- Components and Interfaces
- Distributed and Real-Time Systems
- Distributed Systems
- Real Time
- Epilogue
- Reexamining the Theory.