Atelier de génie logiciel et Développement Formel

Atelier de génie logiciel et Développement Formel

  • 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.
Lire moins

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.
Lire moins

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.

Lire moins

Contrôle des connaissances

100% Contrôle Continu Intégral. 

Lire moins

Informations complémentaires

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

Lire moins

Compétences acquises

Compétences

Niveau d'acquisition

Mise en œuvre de méthodes et d'outils du champ disciplinaireCaracté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 boucle1 - 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 programmation1 - 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èmes3 - Maitrise
Identification d'un questionnement au sein d'un champ disciplinaireChoisir, sur des critères objectifs, les structures de données et construire les algorithmes les mieux adaptés à un problème donné.3 - Maitrise