Le moteur de recherche
des thèses françaises
Simon Bliudze
IdRefMots clés
FR |
EN
Systèmes adaptatifs (technologie)
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