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