Colloque

REA : un système d'aide à l'acquisition des spécifications

Kacem Zéroual

Membre a labase

Kacem Zéroual

Résumé du colloque

Plusieurs recherches sont menées dans le domaine des spécifications afin de réduire l'inadéquation entre les besoins de l'utilisateur et les spécifications formelles correspondantes. La difficulté de pouvoir établir qu'une spécification formelle donne une description correcte du système que l'utilisateur désire développer, a conduit la plupart des chercheurs à se concentrer sur le problème de la validation des spécifications formelles. Ces recherches qui utilisent les spécifications formelles comme point de départ ne constituent pas un problème fondamental concernant la conception de ces spécifications. Une façon de rendre l'utilisation des spécifications formelles effective consiste à acquérir les besoins de l'utilisateur dans un but de dériver des spécifications formelles. L'acquisition des besoins de l'utilisateur est une tâche astigmatique et difficile dans le processus de développement du logiciel et peu de travaux ont été menés dans ce domaine de recherche. Nous présentons une technique pour automatiser certaines tâches du processus d'acquisition des spécifications sous forme d'un outil logiciel qui agira comme système d'aide à l'acquisition des spécifications. L'approche que nous utilisons consiste à : (1) extraire les connaissances dont l'utilisateur a besoin pour accomplir un travail spécifique; (2) développer une architecture de représentation capable de supporter les différents types de connaissance de l'utilisateur (3) développer une technique pour transformer les connaissances acquises en des spécifications opérationnelles.

Contexte

Section :

Intelligence artificielle et génie logiciel

Thème du colloque :

Intelligence artificielle et génie logiciel

Hôte : Université de Sherbrooke

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Intelligence artificielle et génie logiciel

Réutilisation du logiciel : une proposition pour les modules de coopération

Béchir El Ayeb

Réutilisation de logiciel : apprentissage machine dans le cadre d'un outil de réutilisation orienté…

Hafeh Mili

Assistance intelligente à la rétro-ingénierie des systèmes

Ettore Merlo

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Intelligence artificielle et génie logiciel

REA : un système d'aide à l'acquisition des spécifications

Kacem Zéroual