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

Cet article presente une methode pour l'elicitation et l'expression des besoins. Elle est basee sur une analyse Cet article presente une methode pour l'elicitation et l'expression des besoins. Elle est basee sur une analyse detaillee des besoins permettant une meilleure comprehension du probleme a resoudre. l'approche -- qui etablit une distinction claire entre besoins et specifications -- conduit naturellement a l'expression d'une specification formelle. Elle ne presente pas de nouveaux langages mais repose sur l'utilisation de techniques existantes. Les agendas sont utilises pour decrire la methode. || 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