EVA: A flexible programming method for evolving systems

IEEE Transactions on Software Engineering

Volumn 23, Issue 5, 1997, Pages 296-313

  Matsuura, Saeko ^a   Kuruma, Hironobu ^a   Honiden, Shinichi ^a  

^a Information technology Promotion Agency Japan   (Japan)

Author keywords

Formal programming techniques; Programming process; Programming support system; Reuse

Indexed keywords

EID: 11444266597     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.588522     Document Type: Article

References (27)

1. K. Brockschmidt, Inside OLL, second edition, Microsoft Press ,1995.
2. R. Balzer, "A 15 Year Perspective on Automatic Programming," T.J. Biggerstaff et al., eds., Software Reusability, vol. I, Concepts and Models. Addison-Wesley, 1989.
3. R. Bird and P. Wadler, Introduction to Functional Programming. Prentice Hall, 1988.
4. L. Cardelli and P. Wegner, "On Understanding Types, Data Abstraction, and Polymorphism," ACM Computing Surveys, vol. 17, no. 4, pp. 471-522, 1985.
5. J.G. Carbonell, "Derivational Analogy, A Theory of Reconstructive Problem Solving and Expertise Acquisition," R.S. Michalski et al., eds., Machine Learning II, An Artificial Intelligence Approach. Morgan Kaufmann, 1986.
6. N. Dershowitz, "Program by Analogy," R.S. Michalski et al., eds., Machine Learning II, An Artificial Intelligence Approach. Morgan Kaufmann, 1986.
7. M.S. Feather, "Constructing Specifications by Combining Parallel Elaborations," Trans. Software Eng., vol. 15, no. 2, pp. 198-208, 1989.
8. K. Futatsugi, J. Goguen, J. Meseguer, and K. Okada, "Parameterized Programming in OBJ2," Proc. Ninth Int'l Conf. Software Eng., pp. 51-60, 1987.
9. J.A. Goguen, "Principles of Parameterized Programming," T.J.Biggerstaff et al., eds., Software Reusability, vol. I, Concepts and Models. Addison-Wesley, 1989.
10. J.A. Goguen, "Parameterized Programming," Trans. Software Eng., vol. 10, no. 5, pp. 528-543, 1984.
11. A. Goldberg, "Reusing Software Developments," Proc. Fourth ACM SIGSOFT Symp. Software Development Environment, vol. 15, pp. 107-119, 1990.
12. D. Gries, "The Science of Programming," Texts and Monographs in Computer Science. Springer-Verlag, 1981.
13. W.L. Johnson and M.S. Feather, "Building an Evolution Transformation Library," Proc. 12th Int'l Conf. Software Eng., pp. 238-248, 1990.
14. S. Kahrs, D. Sannella, and A. Tarlecki, "The Definition of Extended ML," Report ECS-LFCS-94-300, Univ. of Edinburgh, 1994.
15. J. Kolodner and C. Riesbeck, "Case-Based Reasoning, IJCAI-89 Tutorial-MA2, 1989.
16. C.W. Krueger, "Software Reuse," ACM Computer Surveys, vol. 24, no. 2, pp. 131-183, 1992.
17. J. Lue and J. Xu, "Analogical Program Derivation Based on Type Theory, Theoretical Computer Science, vol. 113, pp. 259-272, 1993.
18. S. Matsuura and S. Honiden, "Knowledge Acquisition and Integration on Specification Change - A Method for Systematic Reuse -, APSEC '95 Asia Pacific Software Eng. Conf., pp. 364-373, 1995.
19. R. Milner, M. Tofte, and R. Harper, The Definition of Standard ML. MIT Press, 1990.
20. J. Mostow, "Design by Derivational Analogy," Issues in the Automated Replay of Design Plans, Machine Learning, MIT Press, pp. 119-184, 1990.
21. L.C. Paulson, ML for the Working Programmer. Cambridge Univ. Press, 1991.
22. H. Partsch and R. Steinbruggen, "Program Transformation Systems," ACM Computing Survey, vol. 15, no. 3, pp. 199-236, Sept. 1983.
23. C. Rich, H.E. Shrobe, and R.C. Waters, "Overview of the Programmer's Apprentice," IEEE Trans Software Eng., vol. 4, no. 6, 1979.
24. D.T. Sannella and A. Tarlecki, "Toward Formal Development of ML "Program: Foundations and Methodology," J. Diaz and F. Orejas eds., Proc. TAPS OFT '89, vol. 2, pp. 375-389, Lecture Notes in Computer Science 352, Springer-Verlag, 1989.
25. D.R. Smith, "KIDS - A Semi-Automatic Program Development System, IEEE Trans. Software Eng., vol. 16, no. 9, pp. 1,024-1,043, 1990.
26. D.R. Smith, "Toward a Classification Approach to Design, Proc. Fifth Int'l Conf. Algebraic Methodology and Software Technology, AMAST'96, LNCS, Springer-Verlag, 1996.
27. D.S. Wile, "Program Developments, Formal Explanation of Implementations," Comm. ACM, vol. 26, no. 11, pp. 902-911, 1983.