Title : 
Documentation of requirements for computer systems
         
        
            Author : 
Van Schouwen, A. John ; Parnas, David Lorge ; Madey, Jan
         
        
            Author_Institution : 
Bell-Northern Res. Ltd., Ottawa, Ont., Canada
         
        
        
        
        
        
            Abstract : 
A functional approach to specifying the requirements of a computer system is discussed. The method allows system requirements to be documented, whether the system is implemented using a computer and peripheral devices, or, for example, relays and analog components. The method is a refinement of the method used in the A-7 aircraft software requirements model document. The approach is illustrated with examples derived from a software requirements document for a water level monitoring system
         
        
            Keywords : 
formal specification; system documentation; systems analysis; A-7 aircraft software requirements model document; analog components; computer systems; functional approach; peripheral devices; relays; requirements specification; software requirements document; water level monitoring system; Aerospace engineering; Analog computers; Buildings; Computer peripherals; Computerized monitoring; Design engineering; Documentation; Relays; Software design; Software systems;
         
        
        
        
            Conference_Titel : 
Requirements Engineering, 1993., Proceedings of IEEE International Symposium on
         
        
            Conference_Location : 
San Diego, CA
         
        
            Print_ISBN : 
0-8186-3120-1
         
        
        
            DOI : 
10.1109/ISRE.1993.324857