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 different worlds, governed bydifferentideals,principles, andlaws.DavidLorgeParnas, forinstance,who has contributed much to our theoretical understanding of software engineering and also to sound use of theory in the practice of it, likes to...