Kaninda MUSUMBU
Kaninda Musumbu Maître de Conférences (Université Bordeaux 1)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Correspondant formation continue master informatique
Page personnelle : http://www.labri.fr/Perso/~musumbu
Courrier électronique : kaninda.musumbuarobaselabri.fr
Bureau : 260
Tél : +33 (0)5 40 00 38 76


Recherche

1.- L'interprétation abstraite est une des techniques d'analyse statique qui permet d'étudier le comportement dynamique des
programmes.
Nous proposons une méthodologie de construction des domaines abstraits,
des algorithmes génériques d'interprétation abstraite et une implémentation de ces algorithmes au moyen des grammaires
d'attributs.
En effet, dans l'approche opérationnelle, la sémantique abstraite de
programmes Prolog est définie par calcul des points fixes.
Or, les grammaires attribuées (GA) ont été introduites par KNUTH pour
décrire la sémantique d'un langage de programmation en relation avec
la syntaxe définie par une grammaire algébrique.
Partant de cette constatation, en mimant la SLD-résolution, pour tout programme, nous construisons une
suite croissante, d'arbres attribués, qui converge vers un point fixe.
C'est point fixe défini la sémantique abstraite du programme
Ceci a été réalisé dans un outil. Nous avons obtenu des résultats satisfaisants.
Pour minimiser les coûts, et diminuer sensiblement le temps et l'espace
mémoire, nous proposons un évaluateur incrémental d'attributs,
qui n'évalue que les attributs susceptibles d'améliorer le résultat précédant.

2.- Dans le domaine du Web sémantique, nous avons proposé une méthodologie
d'enrichissement sémantique des modèles MDA(Model Driven Architecture)
pour la génération de règles métier génériques.
L'architecture conduite par le modèle (MDA) est une approche de
développement de logiciel qui est portée sur la création des modèles
plutôt que le code de programme. Les buts primaires de MDA sont la
portabilité, l'interopérabilité, et la réutilisabilité par une séparation architecturale des soucis entre les spécifications et l'exécution
du logiciel. Dans des approches de MDAbased, le foyer est lors de création de logiciel par l'intermédiaire du développement des
modèles spécifiques utilisant la norme et les langues largement adoptées telles qu'UML.

Extrait de publications


Kaninda Musumbu. Semantics Web and Ontology Learning. 3rd International Conference On Application Of Information And Communication Technology And Statistics In Economy And Education, Dec 2013, Sofia, Bulgaria. pp.s7-4, 2013.

Kaninda Musumbu. Towards a Model Driven Semantics Web using the Ontology. The 2013 International Conference on Advanced ICT for Business and Management (ICAICTBM2013), Sep 2013, Sanya, Hainan, China. pp.700, 2013.

Kaninda Musumbu. Algorithms Visualization Tool for Students and Lectures in Computer Science. 8th International Conference on e-Learning ICEL-2013 (ICEL 2013), Jun 2013, Cape Town, South Africa. pp.63, 2013.

Kaninda Musumbu. Optimization Strategy apply to an Attribute Algorithm for the Abstract Interpretation. Bhanu Prasad, Pawan Ligras, Ramakant Nevatia. The 5the Indian Conference on Artificial Intelligence, Dec 2011, Siddaganga Institute of Technology, Tumkur, India. IICAI 2011, pp.618-631, 2011, Proceedings.

Kaninda Musumbu, Mouhamed Diouf, Sofian Maabout. Business Rules Generation methods by Merging Model Driven Architecture and Web Semantics. Li Wenzheng. 2010 First IEEE International Conference On Software Engineering and Service Sciences, Jul 2010, Beijing, China. IEEE, IEEE (ISBN 978-1-4244-6055-7), pp.33-36, 2010, IEEE.


Responsabilité pédagogique

Création du cours Master 2 Technologie de la Vérification 42h cours et 30h TD 2003-2004

Page mise à jour le 13/08/2010 à 10:56