Module : Spécifications formelles, CODE UMINM113
| Responsable |
C. Boksenbaum
|
| Parcours intégrant UV |
aucun, mais cette UE appartient à un
groupe d'UE dont au moins une est obligatoire pour tous les parcours
des spécialités
|
| Parcours possibles |
tous
|
| Pré-Requis |
Un ensemble de modules de licence
recouvrant les thèmes suivants :- logique des propositions
(ULIN406 ou ULIN610) ;
|
| Controle connaissances |
4 ECTS
|
Description de l'UE :
| Semestre | Code | Intitulé | Cours | TD | TP | TER |
| S1 | UMINM113 | Spécifications formelles | 12 |
15 | 15 |
Detail du programme
Introduction aux spécifications formelles
concepts et notations mathématiques.
architecture générale d'une machine
abstraite : données, invariant, opérations,
préconditions.
modélisation des opérations par les
substitutions généralisées.
obligations de preuve.
de la spécification à
l’implémentation : l’approche formelle