Design Methods for Reactive Systems: Yourdon, Statemate, and the UML

Helps the software designer meet today s increasingly complex challenges by bringing together specification techniques and useful guidelines in the design of a wide range of software systems, allowing them to evaluate and adapt different techiques.
TABLE OF CONTENTS