This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designing an artifact that improves something for stakeholders and subsequently empirically investigating t[...]
Describes methods and techniques for the design of software systems - particularly reactive software systems that engage in stimulus-response behavior. This work helps the software designer meet the challenges by presenting specification techniques and guidelines - allowing the designer to evaluate [...]