@inproceedings{souquieres:inria-00098923, TITLE = {{Requirements elicitation and specification}}, AUTHOR = {Souqui{\`e}res, Jeanine and Heisel, Maritta}, URL = {https://inria.hal.science/inria-00098923}, NOTE = {Colloque sur invitation.}, BOOKTITLE = {{World Congress on Formal Methods in the Development of Computing Systems - FM'99}}, ADDRESS = {Toulouse, France}, HAL_LOCAL_REFERENCE = {99-R-444 || souquieres99a}, EDITOR = {J.M. Wing and J. Woodcock and Jim Davies}, PUBLISHER = {{Springer-Verlag}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {1708}, PAGES = {116 p}, YEAR = {1999}, KEYWORDS = {processus de d{\'e}veloppement ; sp{\'e}cification ; software ; engineering ; logiciel ; process ; requirement}, HAL_ID = {inria-00098923}, HAL_VERSION = {v1}, }