Le moteur de recherche
des thèses françaises
J. Paul Gibson
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Ligne de produits
Preuve formelle
Méthodes formelles
Ligne de produits logiciels
Lignes de produits
Logiciels -- Développement
Conception de systèmes informatiques
Langages formels
Langages de programmation
Uml
Machines d'états
Vérification
Développement incrémental
Systèmes critiques
Assemblage de composants
UML (informatique)
Vérification de modèles (informatique)
Gestion de processus métier
Vérification formelle