Knowledge Tree

researcher / Christian Attiogbé

Christian Attiogbé

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Interopérabilité et sécurité des systèmes d'information : application aux systèmes de gestion de l'éducation

Modélisation formelle de systèmes de drones civils à l’aide de méthodes probabilistes paramétrées

Plateforme extensible de modélisation et de construction d’applications web correctes et évolutives, avec hypothèse de variabilité

Architecture d’entreprise : alignement des cartographies métiers et applicatives du système d’information

Oracles du test de transformations de modèles

Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérification de contrats