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 different techniques for different projects.
Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.
Genom att registrera dig accepterar du vår personuppgiftspolicy.