Simon Bliudze
Mots clés
FR |
EN
Applications temps réel
Modèle haut niveau
Modèle à base de composants
Paradigme time-triggered
Correcte par construction
Transformations source-à-source
Temps réel (informatique)
Auto-Configuration
Architecture
Dynamique
Auto-Adaptatif
Model
Reconfiguration
Génie logiciel
Composants distribués
Modélisation
Vérification
DCOM (architecture des ordinateurs)
Conception assistée par ordinateur -- Logiciels
Logiciels -- Vérification