%0 Conference Proceedings %T Requirements elicitation and specification %+ Development of specifications (DEDALE) %A Souquières, Jeanine %A Heisel, Maritta %Z Colloque sur invitation. %F Invité %< avec comité de lecture %Z 99-R-444 || souquieres99a %B World Congress on Formal Methods in the Development of Computing Systems - FM'99 %C Toulouse, France %Y J.M. Wing %Y J. Woodcock %Y Jim Davies %I Springer-Verlag %3 Lecture Notes in Computer Science %V 1708 %P 116 p %8 1999 %D 1999 %K processus de développement %K spécification %K software %K engineering %K logiciel %K process %K requirement %Z Computer Science [cs]/Other [cs.OH]Conference papers %X 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. %G English %L inria-00098923 %U https://inria.hal.science/inria-00098923 %~ CNRS %~ INRIA %~ INPL %~ LABO-LORIA-SET %~ LORIA2 %~ UNIV-LORRAINE %~ LORIA %~ INRIA-AUT