Title : 
Validating System Requirements By Functional Decomposition And Dynamic Analysis
         
        
        
            Author_Institution : 
USC/Information Sciences Institute
         
        
        
        
        
        
            Keywords : 
Concrete; Distributed computing; Embedded system; Information analysis; Machinery; Object detection; Pattern analysis; Permission; Power system modeling; Writing;
         
        
        
        
            Conference_Titel : 
Software Engineering, 1989. 11th International Conference on
         
        
        
            Print_ISBN : 
0-8186-8941-2
         
        
        
            DOI : 
10.1109/ICSE.1989.714419