Given a formal specification, develop a tool to automatic translate Abstract State Machine to java code. This process will be applied to a medical device.
Within 3D4amb project, develop the web service to register and save test and threatment results to keep track of patients progress.
Angelo Gargantini and Silvia Bonfanti founded SE4Med (Software Engineering for Medical Devices) laboratory
He works in the area of software engineering. His research topics include: formal methods, astract state machines, formal verification and model checking, model-based testing, and combinatorial testing.
Her research interests include Abstract State Machines, model-based testing, automatic code generation, formal development of medical software systems.