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