Title :
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
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;
Conference_Titel :
Evolutionary Computation, 2000. Proceedings of the 2000 Congress on
Conference_Location :
La Jolla, CA, USA
Print_ISBN :
0-7803-6375-2
DOI :
10.1109/CEC.2000.870844
