Andrea Bombarda

Latest

• From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
• formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
• Extending ASMETA with Time Features