A Practical Theory of Reactive Systems
Kurki-Suonio, R.![A Practical Theory of Reactive Systems](https://support.digitalhusky.com/media/annotations/sorted/293/29300867/CHSBZCOP0329300867.jpg)
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?erentideals, principles, andlaws.DavidLorgeParnas, forinstance, who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of...