ECTS
4 crédits
Composante
Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)
Volume horaire
39h
Description
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.
Objectifs
À 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.
Heures d'enseignement
- Atelier de génie logiciel et Développement Formel - CMCours Magistral19,5h
- Atelier de génie logiciel et Développement Formel - TPTravaux Pratique19,5h
Pré-requis obligatoires
UE structures de données et types abstraits,
UE Techniques de test,
UE Génie logiciel.
Contrôle des connaissances
100% Contrôle Continu Intégral.
Informations complémentaires
Poursuites possibles : UE Génie logiciel en master Technologie de l’Internet.
Compétences acquises
Compétences | Niveau d'acquisition | |
---|---|---|
Mise en œuvre de méthodes et d'outils du champ disciplinaire | Caractériser le rôle des tests et des preuves de correction dans le développement des logiciels et mettre en œuvre des tests élémentaires et des invariants de boucle | 1 - Notion |
Se servir aisément de plusieurs styles/paradigmes algorithmiques et de programmation (approches impérative, fonctionnelle, objet et multitâche) ainsi que plusieurs langages de programmation | 1 - Notion | |
Mettre en œuvre des méthodes d'analyse pour concevoir des modèles de données et des algorithmes à partir d'un cahier des charges partiellement défini. | 3 - Maitrise | |
Appliquer des approches raisonnées de résolution de problèmes complexes : modèle formel d'un problème, réduction et complétude de problèmes | 3 - Maitrise | |
Identification d'un questionnement au sein d'un champ disciplinaire | Choisir, sur des critères objectifs, les structures de données et construire les algorithmes les mieux adaptés à un problème donné. | 3 - Maitrise |