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

Design Methods for Reactive Systems describes methods and techniques for the design of software systemsparticularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workflow management systems, systems for e-commerce, production control systems, and embedded software, increasingly embody design aspects previously considered alonesuch as complex information processing, non-trivial behavior, and communication between different componentsaspects traditionally treated separately by classic software design methodologies. But, as this book illustrates, the software designer is better served by theability to intelligently pick and choose from among a variety of techniques according to the particular demands and properties of the system under development.Design Methods for Reactive Systems helps the software designer meet today's increasingly complex challenges by bringing together specification techniques and guidelines pro
http://rapidshare.com/files/53671163/1558607552.zip
http://rapidshare.com/files/53722418/1558607552.zip