Simon Bliudze
IdRefMots clés
FR |
EN
JavaBIP
OCCIware
Approche "correct-par-construction"
Informatique dans les nuages
Systèmes adaptatifs (technologie)
Méthodes formelles (informatique)
Logiciels -- Maintenance
Ontologies (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