Frédéric Mallet
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Méthodes formelles (informatique)
Modèles hétérogènes
Langages de programmation -- Sémantique
Méthodes formelles
Simulation
UML (informatique)
Multi-vue
SysML (informatique)
Objets coopérants (informatique)
Coordination
Langages de coordination
Simulation, Méthodes de
Traitement réparti
Simulation par ordinateur
Vérification formelle
Systèmes informatiques -- Mesures de sûreté
Design patterns
IDM
Modélisation