Requirements elicitation and specification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

Requirements elicitation and specification


Formal specification techniques are not well integrated with the analysis phase of software engineering. The starting point from which the development of a formal specification should begin is not well elaborated. Often, formal specifications begin with a very short description of the system to be implemented, and detail is added during the development of the formal specification. Such a procedure does not adequately take into account the need to thoroughly analyze the system to be implemented and the environment in which it will operate before a detailed specification is developed.
No file

Dates and versions

inria-00098923 , version 1 (26-09-2006)


  • HAL Id : inria-00098923 , version 1


Jeanine Souquières, Maritta Heisel. Requirements elicitation and specification. World Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, 116 p. ⟨inria-00098923⟩
26 View
0 Download


Gmail Facebook X LinkedIn More