A practical theory of reactive systems : incremental modeling of dynamic behaviors / R. Kurki-Suonio.
"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?erentide...
Saved in:
| Main Author: | |
|---|---|
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin :
Springer,
2005.
|
| Series: | Texts in theoretical computer science.
|
| Subjects: | |
| Online Access: | Springer eBooks |
Table of Contents:
- 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.