This activity includes work on the design and semantics of modelling languages, test generation and automation, and model-driven engineering. Achievements include the development of a technology for the automatic generation of information systems from precise object models, a promising line of research in model-based testing, and a contribution to the semantics of the industry-standard UML notation.
