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

----- 反应系统的设计方法：Yourdon，Statemate和UML

ISBN: 9781558607552 出版年：2003 页码：485 Wieringa, R J Morgan Kaufmann_RM

Design Methods for Reactive Systems describes methods and techniques for the design of software systemsarticularly 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 aloneuch as complex information processing, non-trivial behavior, and communication between different componentsspects traditionally treated separately by classic software design methodologies. But, as this book illustrates, the software designer is better served by the ability 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 proven useful in the design of a wide range of software systems, allowing the designer to evaluate and adapt different techniques for different projects.