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 > Axes de recherche

Axes de recherche

Nos travaux ont pour dénominateur commun l’assistance au processus de développement au travers d’un outillage vérifiant la conformité et la qualité des modèles attendus en rapport avec la démarche métier préconisée. Dans ce contexte, l’équipe étudie plus particulièrement les processus de développement à base de modèles ; ces processus sont tels qu’ils attachent un ou plusieurs modèles interprétables et manipulables par la machine à chacune de leurs étapes. Se manifeste alors le besoin d’exprimer formellement des transformations, rendant les modèles productifs. Tout au long du développement, un intérêt particulier est accordé aux composants, modules de code réutilisables dans d’autres contextes, concernant leur interopérabilité et leur capacité à satisfaire les exigences des utilisateurs. Plus en aval, nous cherchons à intégrer des modèles de code directement dérivés des langages de programmation, mais aussi de faire interopérer des langages dédiés à un même secteur d’activités. Dans les deux cas, il s’agit de permettre aux experts d’un domaine d’exploiter des programmes à partir de leurs modèles métier.

Cette rubrique ne contient aucun article.