Académique Documents
Professionnel Documents
Culture Documents
1. Étude de faisabilité
2. Spécification
3. Organisation du projet
4. Conception
5. Implémentation
6. Tests
7. Livraison
8. Maintenance
Analyse
spécification V&V
Conception
V&V
architecturale
Conception
V&V
détaillée
Codage V&V
Tests V&V
Exploitation /
Maintenance
En : exigences
abstraction M' : de fonctionnement
M: un modèle E2 : exigences
le modèle du système simplifié E1 de fonctionnement
: exigences
(en UML, SDL,
(en systèmes de transitions...) de fonctionnement
RdP, java, C,… )
(en logique
production, temporelle...)
compilation…
Outil de
vérification
(model checker, prouveur...)
S: réponse :
le système pour
lequel on exige un - S satisfait les exigences E1… En
fonctionnement - S ne satisfait pas l'exigence Ei
correct (avec contre-exemple à l'appui)
- pas Driss
Méthodes Formelles - O.Belkahla de réponse 20