index - LS2N - équipe NaoMod ( Nantes Software Modeling Group)

 

 

L’objectif de l’équipe NaoMod est de proposer des modèles dynamiques pour la construction continue de logiciels. En d’autres termes, nous souhaitons faire vivre des modèles pendant l’exécution de logiciels, pour vérifier la correction de leur exécution ainsi que, comme retour d’information, pour améliorer la qualité des modèles de conception.

Les principales questions de recherche posées par l’équipe sont :
1 – Comment mettre à jour et exploiter les modèles dynamiques pendant la construction continue de logiciels ?
2 – Comment utiliser les flots de données générés par des dispositifs CPS ou IoT pour mettre à jour les modèles dynamiques ?
3 – Comment vérifier dynamiquement les modèles ?

 

Consulter les politiques des éditeurs en matière de droits d'auteur

 

 

Collaborations internationales