Publications des scientifiques de l'IRD

Baldé S., Clercin C., Sarr O. (1996). Validation dans les outils de l'ingénierie des besoins orientés objet. In : Moukeli P. (ed.). 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. Paris : ORSTOM, p. 171-182. (Colloques et Séminaires). CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science, 3., Libreville (GAB), 1996/10/09-16. ISBN 2-7099-1333-X. ISSN 0767-2896.

Titre du document
Validation dans les outils de l'ingénierie des besoins orientés objet
Année de publication
1996
Type de document
Partie d'ouvrage
Auteurs
Baldé S., Clercin C., Sarr O.
In
Moukeli P. (ed.), 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
Source
Paris : ORSTOM, 1996, p. 171-182 (Colloques et Séminaires). ISBN 2-7099-1333-X ISSN 0767-2896
Colloque
CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science, 3., Libreville (GAB), 1996/10/09-16
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)
Plan de classement
Logiciel [122LOGIC]
Descripteurs
INFORMATIQUE ; GENIE LOGICIEL ; OBJET ; VALIDATION DE RESULTAT ; ELICITEUR ; METHODE D'ANALYSE ; LANGAGE ORIENTE OBJET
Localisation
Fonds IRD [F A010008708]
Identifiant IRD
fdi:010008717
Contact