Mickaël Kerboeuf
IdRefMots clés
FR |
EN
Programmation par contraintes
Programmation orientée objets (informatique)
Temps réel (informatique)
Méthodes formelles (informatique)
Gestion d’énergie
Qualité de service
Véhicule électrique
Ingénierie dirigée par les modèles
Systèmes embarqués
Véhicules électriques
Énergie
Systèmes embarqués (informatique)
Déverminage non-anticipé
Adaptation de comportement
Adaptation dynamique centrée objet
Débogage
Conception orientée objets (informatique)
Co-évolution
Langage de modélisation spécifique à un domaine (DSML)
Migration de modèles