10 citations · 14 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018★ 4 cited
AsmetaF: A Flattener for the ASMETA Framework
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework, supporting several validatio…
cs.SE2013
Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community
Elvinia Riccobene
This volume contains the extended abstracts of the contributions presented at EclipseIT 2013, the 8th workshop of the Italian Eclipse Community, hosted by the Computer Science Depa…