DocumentCode
2445661
Title
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
Volume
2
fYear
2000
fDate
16-19 July 2000
Firstpage
1578
Abstract
The following topics were dealt with: software verification; software requirements; software evolution; program synthesis and code generation; algebraic specification; the software development process; software design; and software testing
Keywords
computer aided software engineering; algebraic specification; automated software engineering; code generation; program synthesis; software design; software development process; software evolution; software requirements; software testing; software verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Evolutionary Computation, 2000. Proceedings of the 2000 Congress on
Conference_Location
La Jolla, CA, USA
Print_ISBN
0-7803-6375-2
Type
conf
DOI
10.1109/CEC.2000.870844
Filename
870844
Link To Document