Le moteur de recherche
des thèses françaises
Yves Ledru
IdRefMots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Ingénierie dirigée par les modèles
Vérification
Modélisation
Logiciels -- Développement
UML
Temps réel (informatique)
Vérification formelle
Génération de tests
Ingénierie des systèmes
Information systems
Formal methods
Z
Tests
UML (informatique)
B (méthode formelle)
Systèmes embarqués (informatique)
Métamodélisation
Spécification formelle