%0 Book Section
%9 OS CH : Chapitres d'ouvrages scientifiques
%A Baldé, S.
%A Clercin, C.
%A Sarr, O.
%T Validation dans les outils de l'ingénierie des besoins orientés objet
%B CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science
%C Paris
%D 1996
%E Moukeli, P.
%L fdi:010008717
%G FRE
%I ORSTOM
%@ 2-7099-1333-X
%K INFORMATIQUE ; GENIE LOGICIEL ; OBJET ; VALIDATION DE RESULTAT ; ELICITEUR ; METHODE D'ANALYSE
%K LANGAGE ORIENTE OBJET
%P 171-182
%U https://www.documentation.ird.fr/hor/fdi:010008717
%> https://horizon.documentation.ird.fr/exl-doc/pleins_textes/pleins_textes_6/colloques2/010008717.pdf
%W Horizon (IRD)
%X Nous nous intéresserons dans cet article aux problèmes de validation dans les méthodes d'analyse de système d'information orientées objet. Partant du fait que l'ingénierie des besoins comprend les activités d'élicitation, de modélisation, de synthèse et de validation, nous proposons des outils couvrant tout le champ de l'ingénierie des besoins. Nous nous appuyons sur la méthode de spécification O* mais notre démarche peut être facilement étendue aux autres méthodes orientées-objet et même à toute méthode d'analyse de système d'information. Nous proposons notamment parmi nos outils : un éliciteur des besoins à deux axes, le premier concentré sur la capture des scénarios utilisateurs et le second déduisant de la spécification textuelle une esquisse de spécification formelle à valider ; un prototypeur traduisant les spécifications orientées objet vers un langage orienté objet exécutable ; un assistant du processus intégrant des heuristiques liées aux sémantiques des méthodes de développement. (Résumé d'auteur)
%S Colloques et Séminaires
%B CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science
%8 1996/10/09-16
%$ 122LOGIC