Title :
Proceedings IEEE Joint International Conference on Requirements Engineering
Keywords :
formal specification; formal verification; management of change; software development management; XML; change management; component reuse; embedded systems; product management; requirements engineering; requirements management; validation;
Conference_Titel :
Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on
Conference_Location :
Essen, Germany
Print_ISBN :
0-7695-1465-0
DOI :
10.1109/ICRE.2002.1048497