References

S.C. Bailin and S. Henderson. A tool for reasoning about software models. Proceedings of the Computer Assurance Conference, ACM Press, June 1993.

S.C. Bailin and S. Henderson. An application of machine learning to the organization of institutional software repositories. To appear in Telematics and Informatics, September 1993.

S.C. Bailin, F. Paterra, W. Truszkowski, and S. Henderson. Model- based reasoning for system and software engineering. To appear in Telematics and Informatics, September 1993.

Esteva, J.C. and Reynolds, R.G., 1990. Learning to recognize reusable software by induction. Proceedings of the 2nd International Conference on Software Engineering and Knowledge Engineering, Skokie, IL. June 1990.

Harandi, M. and Lee, H-Y. Acquiring software design schemas: a machine learning perspective. Proceedings of the 6th Annual Knowledge-Based Software Engineering Conference, IEEE Computer Society Press. 1991.

Harel, D., 1992. Biting the silver bullet: Toward a brighter future for system development. IEEE Computer, January 1992.

Lee, K. et. al., 1990. An OOD paradigm for flight simulators, 2nd edition. Technical Report of the Software Engineering Institute, Carnegie Mellon University, Pittsburgh.

O'Reilly, U.M. and Oppacher, F. Learning new features and heuristics for matching and using cases. Proceedings of the Fourth Florida Artificial Intelligence Research Symposium, Florida AI Research Society. April 1991.

Parnas, D., Asmis, G., and Madey, J., 1990. Assesment of safety-critical software. Technical Report 90-295, ISSN 0836-0227. Telecommunications Research Institute of Ontario. Queens University, Kingston, Ontario.

Reynolds, R.G. and Maletic, J.I., 1991. Operationalizing software reuse as a problem in machine learning. Proceedings of the Fourth Florida Artificial Intelligence Research Symposium, Florida AI Research Society. April 1991.

Willis, C.P. and Paddon, D.J. Combining explanation-based learning and Knuth-Bendix completion for equational reasoning. Proceedings of the Fourth Florida Artificial Intelligence Research Symposium, Florida AI Research Society. April 1991.

Wu, F.Y. and Leong, S. A syntax directed approach for learning software translation knowledge. Proceedings of the Fourth Florida Artificial Intelligence Research Symposium, Florida AI Research Society. April 1991.