Dominique Méry
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Raffinement
Méthodes formelles
Programmation parallèle (informatique)
Composition
Vérification
Algorithmes
Parallélisme (informatique)
Algorithmes parallèles
Ontologies (informatique)
Ingénierie dirigée par les modèles
Systèmes embarqués (informatique)
Temps réel (informatique)
Génie logiciel
Logique temporelle
Méthodes Formelles
Event-B
B (méthode formelle)
Modélisation
Modélisation des données (informatique)