DocumentCode :
2381496
Title :
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)
fYear :
1998
fDate :
13-16 Oct. 1998
Abstract :
The following topics were dealt with: automated software engineering; specification; validation and verification; software reuse; requirements engineering; software testing; and synthesis and development environments
Keywords :
computer aided software engineering; formal specification; program testing; program verification; programming environments; software reusability; automated software engineering; development environments; formal specification; requirements engineering; software reuse; software testing; synthesis environments; validation; verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on
Conference_Location :
Honolulu, HI, USA
Print_ISBN :
0-8186-8750-9
Type :
conf
DOI :
10.1109/ASE.1998.732559
Filename :
732559
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2381496
بازگشت