Title :
Proceedings. 7th International Workshop on Principles of Software Evolution
Abstract :
Presents the cover from the proceedings of this conference.
Keywords :
formal specification; formal verification; software tools; requirements evolution; software evolution; tool support;
Conference_Titel :
Software Evolution, 2004. Proceedings. 7th International Workshop on Principles of
Conference_Location :
Kyoto, Japan
Print_ISBN :
0-7695-2211-4
DOI :
10.1109/IWPSE.2004.1334754