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
Simulation
Méthodes formelles
UML (informatique)
Multi-vue
SysML (informatique)
Traitement réparti
Simulation par ordinateur
Langages de coordination
Coordination
Vérification formelle
Objets coopérants (informatique)
Simulation, Méthodes de
Design patterns
IDM
Systèmes distribués
Systèmes informatiques -- Mesures de sûreté