Skip to main content

Save up to 30% on Elsevier print and eBooks with free shipping. No promo code needed.

Save up to 30% on print and eBooks.

Design Methods for Reactive Systems

Yourdon, Statemate, and the UML

  • 1st Edition - December 26, 2002
  • Authors: Michael Jackson, R. J. Wieringa
  • Language: English
  • Hardback ISBN:
    9 7 8 - 1 - 5 5 8 6 0 - 7 5 5 - 2
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 5 0 3 9 5 - 0

Design Methods for Reactive Systems describes methods and techniques for the design of software systems—particularly reactive software systems that engage in stimul… Read more

Design Methods for Reactive Systems

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

Institutional subscription on ScienceDirect

Request a sales quote
Design Methods for Reactive Systems describes methods and techniques for the design of software systems—particularly 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 alone—such as complex information processing, non-trivial behavior, and communication between different components—aspects 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. Written in an exceptionally clear and insightful style, Design Methods for Reactive Systems is a book that students, engineers, teachers, and researchers will undoubtedly find of great value.