SpecBookASM Egon Boerger and Angelo Gargantini and Elvinia Riccobene


in Software Specification Methods, An Overview Using a Case Study (2006), pages (103–120)


This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations are gradually introduced through questions which are asked to an imaginary user. The Chapter introduces the ASM method.
[Download the paper]

My sw links