Thoughts on automated software design and synthesis

Abstract

I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitfalls that may be encountered and to identify goals for future efforts in advancing software engineering education and research.

DOI: 10.1145/1882362.1882369

Extracted Key Phrases

4 Figures and Tables

Cite this paper

@inproceedings{Batory2010ThoughtsOA, title={Thoughts on automated software design and synthesis}, author={Don S. Batory}, booktitle={FoSER}, year={2010} }