Programmation et Atelier de génie logiciel

Présentation

1-Problématique et paradigme de la Méthode Formelle

2-Fonctionnalités et intégration dans un Atelier de Génie Logiciel

3-Atelier B et déploiement de la méthode B (niveau I)

4 -Ateliers Vdm-Tools / Overture Tools et déploiement de la méthode VdmSl

5-Plateforme de simulation Symphony : connexion avec l’atelier Overture Tools

Objectifs

Initier au développement de logiciels garantissant la sûreté de fonctionnement des systèmes critiques en déployant des méthodes formelles supportées par des ateliers de génie logiciel.

Conditions d'admission

Introduction au Génie Logiciel

Volume horaire

• Travaux Pratique : 19.5h
• Cours Magistral : 19.5h

Examens

Contrôle continu (50%) - Examen terminal (50%)