Design Maintenance Systems

Communications of the ACM

Volumn 35, Issue 4, 1992, Pages 73-89

  Baxter, Ira D ^a  

^a SCHLUMBERGER   (United States)

Author keywords

formal CASE; maintenance; reuse; transformation

Indexed keywords

EID: 0003353852     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/129852.129859     Document Type: Article

References (28)

1. Allen J., Hendler, J., and Tate A., Eds. Readings in Planning. Morgan Kaufmann, San Mateo, Calif., 1990. ISBN 1-52016-05-24.
2. Arango, G. Domain engineering for software reuse. Ph.D. thesis, Department of Information and Computer Science, University of California at Irvine, July 1988.
3. Arango, G., Baxter, I., Freeman, P., and Pidgeon, C. TMM: Software maintenance by transformation. IEEE Softw. 3, 3, 27-39, May 1986.
4. Balzer, R. A 15-year perspective on automatic programming. IEEE
5. Trans. Softw. Eng. SE-11, 11 (Nov. 1985), 1257-1268.
6. Bauer, F.L., Moller, B., Partsch, H., and Pepper, P. Formal program construction by transformations- Computer-aided, intuition-guided programming. IEEE Trans. Softw. Eng. 15, 2 (Feb. 1989), 165-180.
7. Baxter, I.D. Transformational maintenance by reuse of design histories. Ph.D. thesis, University of California at Irvine, Nov. 1990. Tech. Rep. 90-36. Also available from University Microfilms International, Catalog #9109634.
8. Boyle, J.M. and Muralidharan, M.N. Program reuseability through program transformation. IEEE Trans. Softw. Eng. SE-10, 5 (1984), 575-588.
9. Charniak, E. and McDermott, D. Introduction to Artificial Intelligence. Addison-Wesley, Reading, Mass., 1985. ISBN 0-201-11945-5.
10. Cheatham, T.E., Jr., Holloway, G.H., and Townley, J.A. Program refinement by transformation. In Proceedings of the Fifth International Conference on Software Engineering, (San Diego, Calif., Mar. 1981), pp. 430-437. Reprinted in New Paradigms for Software Development, William W. Agresti, Ed., IEEE, 1986, ISBN 0-2016-05-24.
11. Feldman, S.I. Make-A program for maintaining computer programs. Softw.-Prac. Exp. 9 (Apr. 1979), 255-265.
12. Goldberg, A. Reusing software developments. Tech. Rep., Kestrel Institute, Aug. 1989. 3260 Hillview Avenue, Palo Alto, Calif., 94304.
13. Johnson, W.L. and Feather, M. Building an evolution transformation library. In Proceedings of the Twelfth International Conference on Software Engineering. IEEE Computer Society Press, Mar. 1990.
14. Kambhampati, S. Flexible reuse and modification in hierarchical planning: A validation structure based approach. Ph.D. thesis, University of Maryland, Oct. 1989. Tech. Rep. CAR-TR-469, CS-TR-2334, Computer Vision Laboratory, Center for Automation Research, College Park Maryland, 20742-3411.
15. Lientz, B.P. and Swanson, E.B. Software Maintenance Management: A Study of the Maintenance of Computer Application Software in 487 Data Processing Organizations. Addison-Wesley, Menlo Park, Calif., 1980.
16. Littman, D.C., Pinto, J., Letovsky, S., and Soloway, E. Mental models and software maintenance. In Empirical Studies of Programmers, E. Soloway and S. Iyengar, Eds., Ablex, Norwood, N.J., 1986, pp. 80-98.
17. McCartney, R. Synthesizing algorithms with performance constraints. Ph.D. thesis, Brown University, 1988. Department of
18. Computer Science Tech. Rep. CS-87-28, Dec. 1987.
19. Mostow, J. Some requirements for effective replay of derivations. In Proceedings of the Third International Machine Learning Workshop, (Skytop, Pa., June 1985), pp. 129-132.
20. Neighbors, J. The Draco approach to constructing software from reusable components. IEEE Trans. Softw. Eng. SE-10, 5 (Sept. 1984).
21. Ning, J.Q. A knowledge-based approach to automatic program analysis. Ph.D. thesis, University of Illinois at Urbana-Champaign, 1989. UIUCDCS-R-89-1548.
22. Reasoning Systems Inc. REFINE User'r Guide. Reasoning Systems, Inc., Palo Alto, Calif., 1986.
23. Schneidewind, N.F. The state of software maintenance. IEEE Trans. Softw. Eng. SE-13, 3 1987, 303-310.
24. Smith, D.R., Kotik, G.B., and Westfold, S.J. Research on knowledge-based software environments at Kestrel Institute. IEEE Trans. Softw. Eng. SE-11, 11 (Nov. 1985), 1278-1295.
25. Sneed, H.M. The myth of top-down software development and its consequences for software maintenance. In Proceedings of Conference on Software Maintenance, (Miami, Fla., Oct. 1989), IEEE Computer Society Press, pp. 22-29. ISBN 0-2016-05-24, IEEE Catalog Number 89CH2744-1.
26. Ward, M., Calliss, F.W., and Munro, M. The maintainer'r assistant. In Proceedings of Conference on Software Maintenance 1989, (Miami, Fla., Oct. 1989), IEEE Computer Society Press, pp. 307-315. ISBN 0-2016-05-24, IEEE Catalog Number 89CH27441-1.
27. Wedo, J.D. Structured program analysis applied to software maintenance. In Proceedings of Conference on Software Maintenance (Wash. DC, 1985), pp. 28-34. IEEE. ISBN 0-2016-05-24.
28. Wile, D. Program developments: Formal explanations of implementations. Commun. ACM 26, 11 (Nov. 1983), 902-911. Also available from University of Southern Calif., Information Sciences Institutes as