Conclusions
Software synthesis techniques provide most, but not all, of the functionality in Fischer's DODE. Software synthesis is achievable and is best at the automation of repetitive activities, even when these activities are design. Software synthesis performs analysis and synthesis activities automatically in well-known domains, while in less well-known domains, software synthesis supports simulation activities for human cooperation. Software synthesis techniques support human cooperation by effectively evaluating different options within the design space. Current software synthesis architectures are well on their way towards instantiating Fischer's DODE design process.
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Abbott, B., Bapty, T., Biegl, C., Karsai, G., and Sztipanovits, J. 1993. Model-based software synthesis.IEEE Software, May: 42–52. Los Alamitos, CA: IEEE Computer Society.
Barstow, D. 1979. An experiment in knowledge based automatic programming.Artificial Intelligence, 12:73–119.
Biermann, A. W. 1976. Approaches to automatic programming. InAdvances in Computers, edited by M. Rubin and M. C. Yovits, Vol. 15, pp. 1–63. New York: Academic Press.
Biggerstaff, T. J., and Perlis, A. J. 1989. Software reusability. InConcepts and Models, Vol. I. ACM Press.
Dym, C. 1993.Teaching Design. Presentation at NSF Workshop on the Freshman Engineering Experience, Colorado State University, July.
Eriksson, H., and Musen, M. 1993. Metatools for knowledge acquisition.IEEE Software, May: 23–29. Los Alamitos, CA: IEEE Computer Society.
Graves, H., Louie, J., and Mullen, T. 1992. A code synthesis experiment. InProceedings of the 7th Knowledge Based Software Engineering Conference, pp. 6–17, IEEE Computer Society Press, Washington DC, September 1992.
Jullig, R., and Pressburger, T. 1993. Applying formal software synthesis.IEEE Software, May: 11–22. Los Alamitos, CA: IEEE Computer Society.
Kant, E. 1993. Synthesis of mathematical-modeling software.IEEE Software, May: 30–41. Los Alamitos, CA: IEEE Computer Society.
Keller, R. M., and Rimon, M. 1992. A knowledge-based software development environment for scientific model-building. InProceedings of the 7th Knowledge-Based Software Engineering Conference, pp. 192–201, IEEE Computer Society Press, Washington DC, September.
Lowry, M. 1991. Software engineering in the twenty first century. InAutomating Software Design, Chapter 24, edited by M. R. Lowry and R. D. McCartney. AAAI Press.
Royce, W. 1993. Why software costs so much.IEEE Software, May: 90–91. Los Alamos, CA: IEEE Computer Society.
Schonberg, E., Schwartz, J., and Sharir, M. 1981. An automatic technique for the selection of data representations in SETL programs.ACM Transactions on Programming Languages and Systems, 3:126–143.
Setliff, D. E., Kant, E., and Cain, J. T. 1993. Practical software synthesis.IEEE Software, May: 6–10. Los Alamitos, CA: IEEE Computer Society.
Setliff, D. E., and Rutenbar, R. A. 1992. Knowledge representation and reasoning in a software synthesis architecture.IEEE Transactions on Software Engineering, 18(6):523–533.
Smith, T. E., and Setliff, D. E. 1993. Towards design phase synthesis. InProceedings of the 8th Knowledge-Based Software Engineering Conference, IEEE Computer Society, Chicago IL, September.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Setliff, D.E. Birds of a feather: The DODE and domain-specific software synthesis systems. Autom Software Eng 1, 209–213 (1994). https://doi.org/10.1007/BF00872291
Issue Date:
DOI: https://doi.org/10.1007/BF00872291