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.

ASM

GARGANTINI, Angelo Michele;
2010

Abstract

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.
book chapter - capitolo di libro
Boerger, Egon; Gargantini, Angelo Michele; Riccobene, Elvinia
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/19664
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact