Kacem Zeroual

• Publications
• Recherches actuelles

Courriel : Kacem.Zeroual@USherbrooke.ca
Téléphone : 819 821-8000, poste 62014
Télécopieur : 819 821-8200
Local : D4-1010-7

Les projets suivants sont abordés par des étudiantes et étudiants, soit de doctorat, soit de maîtrise sous ma direction.

1. Le premier projet, qui s'intitule Développement d'une méthode mathématique de décomposition des systèmes informatiques, consiste à déterminer de façon exacte les différents modules et sous-modules devant composer le système à concevoir.
2. Le deuxième projet, ayant pour titre Synthèse des systèmes réactifs : une approche formelle, consiste à produire un modèle du comportement d'un système réactif à partir d'un ensemble de contraintes spécifiées informellement.
3. Le troisième projet, Une méthode de transformation des spécifications informelles basée sur les connaissances, a pour but de développer un système à base de connaissances pour dériver des spécifications formelles à partir des spécifications informelles.
4. Un autre projet, Dérivation de plans à partir des comportements des systèmes réactifs, vise à produire de façon incrémentale un plan permettant au système réactif d'atteindre un but spécifique.
5. Le projet intitulé Un système connexioniste de réutilisation du logiciel consiste à automatiser le processus de classification et de recherche des composants logiciels à l'aide d'un réseau de neurones.

Autres publications

K. Zeroual, P.N. Robillard, KBMS: A Knowledge-based System for Modeling Software System Specifications, IEEE Trans. on Knowledge and Data Engineering, vol. 4, ndeg. 3, 1992.

K. Zeroual, N. Rivard, ERMES: An Entity-relationship Modelling Expert System, The International Journal of Control and Computers, vol. 19, ndeg. 2, 1991.

K. Zeroual, KBRAS: A Knowledge-based Requirements Acquisition System, Proceedings of the IEEE society from the 6th Knowledge-Based Software Engineering (KBSE-91) Conference, Syracuse N.W., sept. 1991.