Jeanine Souquières
IdRefMots clés
FR |
EN
Logiciels -- Développement
Génie logiciel
Exigences
Ingénierie des exigences
Développement sans rupture
Ingénierie dirigée par les modèles
Niveau d'abstraction
Traçabilité
Multi-vues
Raffinement
Refinement
Vérification
Validation
Spécification formelle
Logiciels -- Réutilisation
Aide à la spécification
Développement formel
Méthode B
Développement à objets
Notations UML