Requirements elicitation and specification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Requirements elicitation and specification

Résumé

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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00098923 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More