Process programming by hindsight

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	R. Balzer, T. E. Cheatham, and C. Green. Software technology in the 1990's: Using a new paradigm. IEEE Computer-, 16(11):39-45, November 1983. Special issue on The DoD STARS Program.
	2	Sanjay Bhansali , Mehdi T. Harandi, Synthesis of UNIX Programs Using Derivational Analogy, Machine Learning, v.10 n.1, p.7-55, Jan. 1993 [doi>10.1023/A:1022612610155]
	3	A. W. Biermann and R. Krishnaswamy. Constructing programs from example computations. IEEE Transactions on Software Engineering, 2(3):141-153, September 1976.
	4	Brad Blumenthal. Empirical comparisons of some design replay algorithms. In Proceedings Eighth National Conference on Artificial Intelligence, pages 902-907, Boston, MA, August 1990. MIT Press.
	5	Barry W. Boehm. A Spiral Model of Software Development and Enhancement. In Richard H. Thayer, editor, IEEE Tutorial: Sofiware Engineering Project Management, pages 128-142. IEEE Computer Society Press, 1988.
	6	Frederick P. Brooks, Jr., The Mythical Man-Month: Essays on Softw, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1978
	7	David Chapman, Planning for conjunctive goals, Artificial Intelligence, v.32 n.3, p.333-377, July 1987 [doi>10.1016/0004-3702(87)90092-0]
	8	W. Curtis , H. Krasner , V. Shen , N. Iscoe, On building software process models under the lamppost, Proceedings of the 9th international conference on Software Engineering, p.96-103, March 1987, Monterey, California, United States
	9	Gerald Dejong , Raymond Mooney, Explanation-Based Learning: An Alternative View, Machine Learning, v.1 n.2, p.145-176, 1986 [doi>10.1023/A:1022898111663]
	10	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	11	R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:198-208, 1971.
	12	Pankaj K. Garg , Walt Scacchi, ISHYS: Designing an Intelligent Software Hypertext System, IEEE Expert: Intelligent Systems and Their Applications, v.4 n.3, p.52-63, September 1989 [doi>10.1109/64.43270]
	13	C. Green, D. Luckam, R. Balzer, T. Cheatham, and C. Rich. Report on a Knowledge Based Software Assistant. Technical Report KES.U.83.2, Kestrel Institute, June 1983.
	14	Mehdi T. Harandi and Sanjay Bhansali. Program derivation using analogy. In Proceedings of the Eleventh International Conference on Artificial Intelligence, pages 389-394, Detroit, MI, August 1989. Morgan Kaufmann.
	15	Angela K. Hickman and Marsha C. Lovett. Partial match and search control via internal analogy. In Proceedings of the Thirteenth Annual Conference of the Cognitive Science Society, Chicago, IL, 1991. Lawrence Erlbaum.
	16	Karen E. Huff , Victor R. Lesser, A plan-based intelligent assistant that supports the software development, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.97-106, November 28-30, 1988, Boston, Massachusetts, United States
	17	M.N. Huhns and R.D. Acosta. Argo: An analogical reasoning system for solving design problems. Technical Report AI/CAD-092-87, MCC, Microelectronics and Computer Technology Corporation, Austin, TX, 1987.
	18	M. M. Lehman, Process models, process programs, programming support, Proceedings of the 9th international conference on Software Engineering, p.14-16, March 1987, Monterey, California, United States
	19	M. M. Lehman , L. A. Belady, Program evolution: processes of software change, Academic Press Professional, Inc., San Diego, CA, 1985
	20	Tom M. Mitchell , Richard M. Keller , Smadar T. Kedar-Cabelli, Explanation-Based Generalization: A Unifying View, Machine Learning, v.1 n.1, p.47-80 [doi>10.1023/A:1022691120807]
	21	Jack Mostow, Michael Barley, and Timothy Weinrich. Automated reuse of design plans. International Journal for Artificial Intelligence and Engineering, 4(4):181- 196, October 1989.
	22	Jack Mostow and Greg Fisher. Replaying transformational derivations of heuristic search algorithms in DIOGENES. In Proceedings of the Case-based Reasoning Workshop, pages 94-99, Pensacola Beach, Florida, May 1989.
	23	N. J. Nilsson, Principles of artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1980
	24	L. Osterweil, Software processes are software too, Proceedings of the 9th international conference on Software Engineering, p.2-13, March 1987, Monterey, California, United States
	25	Alberta Maria Segre, Machine learning of robot assembly plans, Kluwer Academic Publishers, Norwell, MA, 1988
	26	L. I. Steinberg and T. M. Mitchell. The redesign system:a knowledge-based approach to VLSI CAD. IEEE Design & Test, 2:45-54,1985.
	27	R. Waldinger. Achieving several goals simultaneously. In Machine Intelligence 8, pages 94-138. Halstead and Wiley, New York, 1977.
	28	David S. Wile, Program developments: formal explanations of implementations, Communications of the ACM, v.26 n.11, p.902-911, Nov. 1983 [doi>10.1145/182.358443]
	29	D. Wilkins, W. Clancey, & B. Buchanan. ODYSSEUS: a learning apprentice. In Proceedings of the International Machine Learning Workshop, pages 221-223, Skytop, PA, 1985.
	30	Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]