L’objectif de cette UE est, dans un premier temps, de présenter aux étudiants les principes bases et la démarche d’une méthode formelle.

Ensuite, dans un deuxième temps, la mise en œuvre pratique de cette grâce en recourant aux ateliers de génie logiciel.

Pour illustrer la démarche, les étudiants sont initiés aux méthodes formelles utilisées dans l’industrie telles la méthode B et la méthode VdmSl  

Les ateliers B, Overture tools et Vdm Tools sont déployés pour dérouler les démarches induites par chacune de ces deux méthodes.

Les thématiques abordées sont :

• Introduction à la méthode formelle,
• Développement orienté modèle du système,
• Validation du modèle de système et génération automatique de code,
• Fonctionnalités d’un atelier de génie logiciel.

À la fin de cette UE, vous serez capable de :

• Déployer une méthode formelle pour développer une application critique de fonctionnement,
• Mettre en œuvre cette méthode en utilisant un atelier de génie logiciel.

UE structures de données et types abstraits,

UE Techniques de test,

UE Génie logiciel.

1ère session : 100% Contrôle Continu écrit

2ème session : 100% examen terminal écrit.

Poursuites possibles : UE Génie logiciel en master Technologie de l’Internet.