Project-Team : triskell
Section: Contracts and Grants with Industry
Keywords: MDA, MDE, UML, methodology.
Amadeus
Participants: Jean-Marc Jézéquel, Pierre-Alain Muller, Antoine Beugnard, Franck Chauvel, Didier Vojtisek.Amadeus is a project supported by the PRIR of ``Région Bretagne''. It involves ENSTBr, ENSIETA, Université de Bretagne Sud and Inria/Triskell. This project aims at building links between research teams in Brittany working on Model Driven Engineering. Its main scientific objectives are:
study relationships between the notion of design by contract and model refinements,
study formal projections of UML to help model verifications,
apply a robust design and validation methodology to the UML