Skip to main content
Log in

Birds of a feather: The DODE and domain-specific software synthesis systems

  • Published:
Automated Software Engineering Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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.

    Google Scholar 

  • Barstow, D. 1979. An experiment in knowledge based automatic programming.Artificial Intelligence, 12:73–119.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Jullig, R., and Pressburger, T. 1993. Applying formal software synthesis.IEEE Software, May: 11–22. Los Alamitos, CA: IEEE Computer Society.

    Google Scholar 

  • Kant, E. 1993. Synthesis of mathematical-modeling software.IEEE Software, May: 30–41. Los Alamitos, CA: IEEE Computer Society.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Setliff, D. E., Kant, E., and Cain, J. T. 1993. Practical software synthesis.IEEE Software, May: 6–10. Los Alamitos, CA: IEEE Computer Society.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00872291

Keywords

Navigation