Colloque

Acquisition des connaissances de spécifications des logiciels à l'aide d'un collecticiel : modélisation et prototypage

Ghislain Lévesque

Membre a labase

Ghislain Lévesque

Résumé du colloque

Le développement des spécifications de logiciels est une tâche ardue qui demeure souvent incomplète à cause des méthodes et des moyens disponibles pour rassembler et documenter les connaissances des experts du domaine. L'utilisation d'une technique semi-formelle comme la modélisation orientée-objet nous enseigne maintenant qu'un modèle satisfaisant du problème à résoudre ne peut être obtenu qu'après un nombre élevé d'itérations mettant à contribution les experts des principaux domaines concernés par l'application à construire. Pour soutenir le travail de ce groupe d'expert, nous avons entrepris les premières étapes du développement d'un collecticiel de spécifications de logiciels selon une architecture client-serveur dans un contexte de réseau étendu du type Internet. Par le moyen de groupes de tâches électroniques, en mode asynchrone et synchrone, nous considérons qu'il sera possible d'augmenter sensiblement la qualité des spécifications par la réalisation d'un nombre plus grand d'itérations sur les scénarios d'utilisation et les modèles, et la mise à contribution d'un plus grand nombre d'experts de façon à obtenir un modèle comportemental du système plus élaboré et détaillé. Dans cet atelier, nous présenterons le modèle de ce collecticiel et les stratégies applicables pour rencontrer les objectifs recherchés. Nous prévoyons faire les premiers tests d'un tel système avec les étudiants d'un laboratoire d'analyse de systèmes.