Title : 
Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)
         
        
        
        
            Abstract : 
The following topics are dealt with: requirements engineering; process and modeling; formal specifications; requirements analysis and management; software reuse; object oriented programming; and specification languages
         
        
            Keywords : 
formal specification; object-oriented programming; program verification; software development management; software reusability; specification languages; systems analysis; formal specifications; modeling; object oriented programming; requirements analysis; requirements engineering; software reuse; specification languages;
         
        
        
        
            Conference_Titel : 
Requirements Engineering, 2000. Proceedings. 4th International Conference on
         
        
            Conference_Location : 
Schaumburg, IL, USA
         
        
        
            Print_ISBN : 
0-7695-0565-1
         
        
        
            DOI : 
10.1109/ICRE.2000.855551