Title :
Proceedings 12th IEEE International Conference Automated Software Engineering
Abstract :
The following topics were dealt with: program synthesis; requirements and process; verification; reverse engineering; refinement; program understanding; architecture; and reuse
Keywords :
computer aided software engineering; program verification; software reusability; architecture; process; program synthesis; program understanding; refinement; requirements; reuse; reverse engineering; verification;
Conference_Titel :
Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
Conference_Location :
Incline Village, NV, USA
Print_ISBN :
0-8186-7961-1
DOI :
10.1109/ASE.1997.632817
