Christian Percebois
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Vérification
Logiciels -- Vérification
UML (informatique)
Test
Traitement réparti
Programmation orientée objets (informatique)
Langages de programmation
Transformation de modèles
Oracles
Qualification
Transformation de graphe
Assistance
Preuve
Triplet de Hoare
Smalltalk (langage de programmation)
Uml
Machines d'états
Développement incrémental
Systèmes critiques