Le moteur de recherche
des thèses françaises
Jeanine Souquières
IdRefMots clés
FR |
EN
Logiciels -- Développement
Génie logiciel
Exigences
Ingénierie des exigences
Vérification
Validation
Spécification formelle
Raffinement
Refinement
Développement sans rupture
Ingénierie dirigée par les modèles
Niveau d'abstraction
Traçabilité
Multi-vues
Spécification
Méthodes formelles
B événementiel
Simulation
JavaScript
B (méthode formelle)