Reusing software developments

Proceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments, SDE 1990

Volumn , Issue , 1990, Pages 107-119

  Goldberg, Allen ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FORMAL SPECIFICATION; REUSABILITY; SPECIFICATIONS;

CORRESPONDENCE PROBLEMS; EFFICIENT IMPLEMENTATION; EXECUTION TRACE; SOFTWARE DEVELOPMENT ENVIRONMENT;

SOFTWARE DESIGN;

EID: 4644242049     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/99277.99288     Document Type: Conference Paper

References (35)

1. BATES, J. L., AND CONSTABLE, R. L. Proofs as programs. ACM Transactions on Programming Languages and Systems 7, 1 (January 1985), 113-136.
2. BIGGERSTAFF, T. J. Design Recovery for Maintenance- and Reuse. Tech. Rep. STP- 378-88, MCC Corporation, November 1988.
3. BIGGERSTAFF, T. J. Software Reusability, Vol. 1: Concepts and Models. ACM Press, New York, 1989.
4. BIGGERSTAFF, T. J. Software Reusability, Vol. 2: Applications and Experience. ACM Press, New York, 1989.
5. BLAINE, L., GOLDBERG, A., PRESSBURGER, T., QIAN, X., ROBERTS, T., AND WESTFOLD, S. Progress on the KBSA Performance Estimation Assistant. Tech. Rep. KES.U.88.11, Kestrel Institute, May 1988.
6. BOYLE, J. M., AND MURALIDHARN, M. N. Program reusability through program transformation. IEEE Transactions on Software Engineering SE-f& 5 (September 1984), 574-588.
7. CARBONELL, J. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition. In Machine Learning: An Artificial Intelligence Approach, R. Michalski, J. Carbonell, and T. Mitchell, Eds., Morgan Ka, ufmann, Los Altos, CA., 1986, pp. 371-392.
8. CONSTABLE, R. L. Implementing Mathematics with the NuPri Proof Development System. Prentice-Han, New York, 1986.
9. DARLINGTON, J.D. ET AL. A functional programming environment supporting execution, partial execution and trausformation. In PARLE 89: Parallel Architectures & Languages Europe, Vol. I: Parallel Architectures, E. Odijk, M. Rem, and J. Syre, Eds., Springer-Verlag, New York, 1989, pp. 286-305. Lecture Notes in Computer Science, Vol. 365.
10. DIJKSTRA, E. W. A Discipline ofProgramming. Prentice-Hall, Englewood Cliffs, NJ, 1976.
11. FICKAS, S. F. Automating the transformational development of software. IEE.E Transactions on Software Engineering SE-11, 11 (November 1985), 1268-1278.
12. GORDON, M. J., MILNER, A. J., AND WADSWORTH, C. P. Edinburgh LCF: A Mechanised Logic of Computation. Springer- Verlag, Berlin, 1979. Lecture Notes in Computer Science, Vol. 78.
13. HORWITZ, S., PRINS, J., AND REPS, T. Integrating non-interfering versions of programs. In Fifteenth ACM Symposium on Principles of Progmmming Languages (San Diego, CA, January 13-15, 1988) ACM, pp. 133-145.
14. HORWITZ, S., PRINS, J., AND REPS, T. On the adequacy of program dependence graphs for representing programs. In Fifteenth ACM Symposium on Principles of Programming Languages (San Die, go, CA, January 13-15, 1988), ACM, pp. 146-157.
15. HUSSAIN, F. A., DE GROOTE, P., JACQUARD, R., JOHNICHEN, S., NGUYEN, T. T., SINTZOFF, M., AND WEBIER, M. Esprit Project ToolUse - Requirements and Feasibility Studies for a Development Language. Tech. Rep. GMD 214, Gesellschaft fiir Mathematik und Datenverarbeitung mbH, July 1986.
16. LETOVSKY, S., AND SOLOWAY, E. Delocalized plans and program comprehension. IEEE Software 3, 3 (May 1986) 41-49.
17. MEERTENS, L. Progmm Specification and Transformation (Proceedings of the IFIP TCZ/WG 2.1 Working Conference). North- Holland, Amsterdam, 1987.
18. MILNER, R. The use of machines to assist in rigorous proof. In Mathematical Logic and Programming Languages, C. A. R. Hoare and J. C. Shepherdson, Eds., Prentice-Hall, Englewood Cliffs, NJ, 1985, pp. 77-87.
19. MOSTOW, J. Design by derivational analogy: issues in the automated replay of design plans. Artificial Intelligence 4U, l-3 (September 1989), 119-184.
20. MOSTOW, J. Some requirements for effective replay of derivations. In Proceedings of the Third International Machine Learning Workshop (Skytop, PA, June 1985), Rutgers University, pp. 129-132.
21. MOSTOW, J. Toward better models of the design process. AI Magazine 6, 1 (Spring 1985) 44-57.
22. MOSTOW, J., AND BARLEY, M. Automated Reuse of Design Plans. Tech. Rep. ML-TR- 14, R.utgers University, May 1987.
23. MOSTOW, J., AND FISHER, G. Replaying tra.nsformational derivat, ions of heuristic search algorithms in DIOGENES. In Proceedings of the DA RPA Case-Based Reasoning Workshop (Pensicola, FL, May 1989). Available as Rutgers AI/Design Project Working Paper Number 113-3.
24. MOSTOW, J., AND FISHER, G. Replaying transformational derivations of heuristic search algorithms in DIOGENES. In Proceedings of the AAAI 1989 Spring Symposium on AI and Software Engineering (Palo Alto, CA, March 1989). Available as Rutgers AI/Design Project Working Paper Number 113-1.
25. OSTERWEIL, L. Software processes are software too. In 9th International Conference on Software Engineering (Monterey, CA, Ma.rch 30-April 2, 1987), pp. 2-13.
26. PAIGE, R., AND HENGLEIN, F. Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study. Journal of Symbolic Computation 4, 2 (1987), 207-232.
27. PARTSCH, H., AND STEINBRÜGGEN, R. Program transformation systems. ACM Computing Surveys 15, 3 (September 1983), 199-236.
28. PEPPER, P., Ed. Program Transformation and Programming Environments. Springer- Verlag, New York, 1983.
29. SINTZOFF, M. Desiderata for a Design Calculus. Tech. Rep., RM 85-13, Universitd Catholique de Louvain, June 1985.
30. SMITH, D. R. KIDS - a knowledge-based software development system. In Proceedings of the Workshop on Automating Software Design (St. Paul, MN, August 25, 1988). (also Technical R.eport KES.U.88.7, Kestrel Institute, October 1988).
31. SMITH, D. R. KIDS - a semi-automatic program development system. to appear in IEEE Transactions on Software Engineering special issue on Formal Methods, September 1990.
32. SMITH, D. R. Structunz and Design of Global Search AIgorithms. Tech. Rep. KES.U.87.12, Kestrel Institute, November 1987. to appear in Acta Znformatica.
33. SOLOWAY, E., AND JOHNSON, W. L. PROUST: knowledge-based program understanding. IEEE Transactions on Software Engineering SE-11, 3 (March 1985), 267-275.
34. [34) WILE, D. S. Program developments: formal explanations of implementations. Communications of the ACM 26, 11 (November 1983), 902-911.
35. WILLS, L. M. Automated Program Recognilion. Tech. R.ep. MIT-AI-904, MIT AI Laboratory, February 1987.