DocumentCode
2207322
Title
Proceedings 18th IEEE International Conference on Automated Software Engineering
fYear
2003
fDate
6-10 Oct. 2003
Abstract
The following topics are discussed: requirements, interfaces, and groupware; software architectures and distributed systems; model checking; software components; software evolution and maintenance; and automated software engineering.
Keywords
message passing; program verification; software engineering; temporal logic; tree searching; workstation clusters; automated software engineering; distributed systems; groupware; model checking; requirements engineering; software architectures; software components; software evolution; software maintenance; software testing; user interfaces; Message passing; Software engineering; Software verification and validation; Temporal logic; Tree searching;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on
Conference_Location
Montreal, Que., Canada
ISSN
1938-4300
Print_ISBN
0-7695-2035-9
Type
conf
DOI
10.1109/ASE.2003.1240288
Filename
1240288
Link To Document