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