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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2207322
بازگشت