In this paper, we present AsmetaA – a graphical animator for Abstract State Machines integrated within the ASMETA framework. The execution of formal specifications through animation provides several advantages, e.g., it provides an immediate feedback about system behavior, it helps understand system evolution, and it increases the overall acceptability of formal methods.
(2018). AsmetaA: Animator for abstract state machines . Retrieved from http://hdl.handle.net/10446/124776
AsmetaA: Animator for abstract state machines
Bonfanti, Silvia;Gargantini, Angelo;
2018-01-01
Abstract
In this paper, we present AsmetaA – a graphical animator for Abstract State Machines integrated within the ASMETA framework. The execution of formal specifications through animation provides several advantages, e.g., it provides an immediate feedback about system behavior, it helps understand system evolution, and it increases the overall acceptability of formal methods.File allegato/i alla scheda:
| File | Dimensione del file | Formato | |
|---|---|---|---|
|
abz2018_Animator_CameraReady.pdf
Solo gestori di archivio
Versione:
publisher's version - versione editoriale
Licenza:
Licenza default Aisberg
Dimensione del file
531.93 kB
Formato
Adobe PDF
|
531.93 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo
