Site institutionnel > Formations et inscriptions > Les UE
UE
Année universitaire 2010/2011
sous réserve de modification
LSIN116 - Introduction aux Spécifications Formelles
Informations générales
| Discipline(s) | Informatique |
|---|---|
| Grade | Licence |
| ECTS | 6 |
| Volume horaire CM | 18h |
| Volume horaire TD | 36h |
Responsable(s) de l'UE
Mokrane BouzeghoubDescriptif
La conception du logiciel s'est souvent caractérisée par une approche intuitive et empirique. Cependant il existe aujourd'hui des méthodes formelles éprouvées qui permettent de spécifier et de valider de façon rigoureuse un logiciel, conduisant ainsi à une génération quasi automatique du code. Ce cours a pour objectif d'initier les étudiants à ces méthodes formelles en leur présentant les fondements des types abstraits de données, des spécifications algébriques ou orientées modèles et les principaux outils de validation.
Le cours s'appuiera sur des langages formels connus de type LOTOS, B et OCL.
Durée : 13 semaines
Répartition des heures :
CM : 12 x 1h30
TD : 12 x 3h
UE requise(s)
Contenu
Le cours s'appuiera sur des langages formels connus de type LOTOS, B et OCL.Contrôle des connaissances (sous réserve de modification)
Examen final et contrôle continu.Dernière mise à jour de cette page : 27 octobre 2005
