Title :
Requirements documentation: why a formal basis is essential
Author :
Parnas, David Lorge
Author_Institution :
McMaster University
Keywords :
Computer industry; Documentation; Engineering profession; Logic; Mathematical model; Monitoring; Natural languages; Prototypes; Software engineering; Testing;
Conference_Titel :
Requirements Engineering, 2000. Proceedings. 4th International Conference on
Print_ISBN :
0-7695-0565-1
DOI :
10.1109/ICRE.2000.855594