Title :
Proceedings. 19th International Conference on Automated Software Engineering
Abstract :
The following topics are dealt with: automated software engineering; program analysis; tool support for V&V activities; architecture and frameworks; program testing; code verification; automated programmer assistance; and modular verification
Keywords :
program diagnostics; program testing; program verification; software architecture; software tools; V&V activities; automated programmer assistance; automated software engineering; code verification; modular verification; program analysis; program testing; software architecture; software tool support;
Conference_Titel :
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Conference_Location :
Linz
Print_ISBN :
0-7695-2131-2
DOI :
10.1109/ASE.2004.1342707
