Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Activités de recherche

Activités de recherche

Bien que l’ingénierie dirigée par les modèles est maintenant bien établie aussi bien dans la communauté du génie logiciel que dans l’ingénierie système, de nombreux efforts sont encore nécessaires pour :

  • Fournir aux utilisateurs des langages de modélisation et des modèles d’analyse ainsi que des méthodes de transformation et de manipulation ;
  • définir et rationaliser les processus d’ingénierie et ainsi faire émerger les meilleures pratiques afin d’atteindre une efficacité maximale dans l’utilisation des modèles, des patrons et des composants.

Les futures recherches de l’équipe se feront suivant ces deux axes.

Modèles : formalisation, analyse et transformation

L’objectif de cet axe est de définir et rationaliser les processus d’ingénierie et ainsi faire émerger les meilleures pratiques afin d’atteindre une efficacité maximale dans l’utilisation des modèles, des patrons et des composants.

Lire la suite

Méthodes & Outils : besoins, traçabilité, méthodes, outils

Cet axe concerne les langages de modélisation et l’analyse des modèles, les méthodes de transformation et de manipulation nécessaires pour accompagner l’adoption de l’IDM dans les pratiques industrielles.

Lire la suite