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.
- Shows how the techniques and design approaches of the three most popular design methods can be combined in a flexible, problem-driven manner.- Pedagogical features include summaries, rehearsal questions, exercises, discussion questions, and numerous case studies.
Please Note: This is an On Demand product, delivery may take up to 11 working days after payment has been received.
Roel Wieringa is professor in the Department of Computer Science at the University of Twente, The Netherlands. He is author of Requirements Engineering (Wiley) and has edited several other books and published over 50 papers on software design methods. He has been involved in several national and international research projects with academia and industry in the area of requirements specification, distributed information systems, and software design methods.