Automating the Transformational Development of Software

IEEE Transactions on Software Engineering

Volumn SE-11, Issue 11, 1985, Pages 1268-1277

  Fickas, Stephen F ^a  

^a UNIVERSITY OF OREGON   (United States)

Author keywords

Knowledge based software development; program transformation systems

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SOFTWARE;

HUMAN-SYSTEM INTERACTION; PROBLEM-SOLVING CONTROL; SOFTWARE DEVELOPMENT; TRANSFORMATIONAL IMPLEMENTATION MODEL;

COMPUTER PROGRAMMING;

EID: 0022135024     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1985.231878     Document Type: Article

References (16)

1. [1] R. Balzer, “Transformational implementation: An example,” IEEE Trans. Software Eng., vol. SE-7, no. 1, 1981.
2. [2] D. Barstow, Knowledge-Based Program Construction. New York: Elsevier North-Holland, 1979.
3. [3] T. Cheatham, G. Holloway, and J. Townley, “Program refinement by transformation,” in Proc. 5th Int. Conf. Software Eng., San Diego, CA, 1981.
4. [4] L. Erman, P. London, and S. Fickas, “The design and an example use of Hearsay-III,” in Proc. 7th Int. Joint Conf. Artif. Intell., Vancouver, B.C., Canada, 1981.
5. [5] M. Feather, “A system for assisting program transformation,” ACM Trans. Program. Lang. Syst., vol. 4, no. 1, 1982.
6. [6] S. Fickas, “Automatic goal-directed program transformation,” in Proc. 1st Nat. Conf. Artif. Intell., Stanford Univ., Stanford, CA, 1980.
7. [7] -, “Automating the transformational development of software,” Ph.D. dissertation, Dep. Inform. Comput. Sci., Univ. California, Irvine, 1982.
8. [8] S. Fickas, D. Laursen, and J. Laursen, “Knowledge-based software specification,” presented at Workshop Knowledge-Based Design, Rutgers Univ., New Brunswick, NJ, 1984.
9. [9] C. Green and S. Westfold, “Knowledge-based programming self applied,” Mach. Intell., vol. 10, 1982.
10. [10] E. Kant, “Efficiency considerations in program synthesis: A knowledge-based approach,” Ph.D. dissertation, Stanford Univ., Stanford, CA, 1979.
11. [11] E. Kant and D. Barstow, “The refinement paradigm: The interaction of coding and efficiency knowledge in program synthesis,” IEEE Trans. Software Eng., vol. SE-7, no. 5, 1981.
12. [12] P. London and M. Feather, “Implementing specification freedoms,” Sci. Comput. Program., no. 2, 1982.
13. [13] B. McCune, “Building program models incrementally from informal descriptions,” Ph.D. dissertation, Dep. Comput. Sci., Stanford Univ., Stanford, CA, dissertation, Dep. Inform. Comput. Sci., Univ. California, Irvine, 1980.
14. [15] H. Partsch and R. Steinbruggen, “Program transformation systems,” Comput. Surveys, vol. 15, no. 3, 1983.
15. [16] T. Standish, D. Harriman, D. Kibler, and J. Neighbors, “The Irvine program transformation catalogue,” Dep. Inform. Comput. Sci., Univ. California, Irvine, 1976.
16. [17] D. Wile, “Program developments: Formal explanations of implementations,” Commun. ACM, vol. 26, no. 11, 1983.