Requirements elicitation and specification

Jeanine Souquières 1 Maritta Heisel
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
J.M. Wing, J. Woodcock, Jim Davies. World Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, Springer-Verlag, 1708, 116 p, 1999, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00098923
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:40:18
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08

Identifiants

  • HAL Id : inria-00098923, version 1

Collections

Citation

Jeanine Souquières, Maritta Heisel. Requirements elicitation and specification. J.M. Wing, J. Woodcock, Jim Davies. World Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, Springer-Verlag, 1708, 116 p, 1999, Lecture Notes in Computer Science. 〈inria-00098923〉

Partager

Métriques

Consultations de la notice

48