De l'élicitation des besoins à la spécification formelle

Maritta Heisel Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Cet article présente une méthode pour l'élicitation et l'expression des besoins. Elle est basée sur une analyse Cet article présente une méthode pour l'élicitation et l'expression des besoins. Elle est basée sur une analyse détaillée des besoins permettant une meilleure compréhension du problème à résoudre. l'approche -- qui établit une distinction claire entre besoins et spécifications -- conduit naturellement à l'expression d'une spécification formelle. Elle ne présente pas de nouveaux langages mais repose sur l'utilisation de techniques existantes. Les agendas sont utilisés pour décrire la méthode. || This paper proposes a method for the elicitation and the expression of requirements.It is based on a detailed analysis of requirements, leading to a better understanding of the problem to be solved. The approach -- which clearly distinguishes between req
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1999, 18 (7), pp.777-801
Liste complète des métadonnées

https://hal.inria.fr/inria-00098954
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:40:47
Dernière modification le : mardi 24 avril 2018 - 13:34:32

Identifiants

  • HAL Id : inria-00098954, version 1

Collections

Citation

Maritta Heisel, Jeanine Souquières. De l'élicitation des besoins à la spécification formelle. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1999, 18 (7), pp.777-801. 〈inria-00098954〉

Partager

Métriques

Consultations de la notice

147