Using Software Visualization... John Domingue Page 22

Eisenstadt, M., Domingue, J., Rajan, T. and Motta, E. (1990) Visual Knowledge Engineering. IEEE Transactions on Software Engineering Special Issue on Visual Programming, October, 16(10) pp. 1164-1177.

Evertsz, R., and Motta, E. (1991) The Abstract Interpretation of Hybrid Rule/Frame-based Systems. In E. Ardizzone, S. Gaglio, and F. Sorbello (Eds.) Trends in Artificial Intelligence. Lecture Notes in Artificial Intelligence, Springer Verlag.

Gaines, B. (1989) Integrating Issues in Knowledge Support Systems. International Journal Of Man-Machine Studies, 31(5) pp. 495-515.

Gaschnig, J. Klahr, P. Pople, H. Shortliffe, E. and Terry, A. (1983) Evaluation Of Expert Systems: Issues And Case Studies. In Hayes-Roth, F., Waterman, D. A., and Lenat D. B. (Eds.) Building Expert Systems Addison-Wesley, New York. pp. 241-280.
Gaspari, M., and Motta, E. (1994) Symbol-level Requirements for Agent-level Programming. Proceedings of the 11th European Conference on Artificial Intelligence, ECAI '94.
Guida, G., and Mauri, G. (1993). Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology. IEEE Transactions on Knowledge and Data Engineering. Vol. 5. No. 2, April, 1993. Jonker, W., Kontio, J., and Motta, E. (1991) Definition and Positioning of the VITAL Project. VITAL Project Report ID732.1, PTT Research, Groningen, November, 1991.

Linster M. (Ed.) (1992) Sisyphus '92: Models of problem solving. GMD report 630, GMD Sankt Augustin.

Loiseau, S. (1994) A Method for Checking and Restoring the Consistency of Knowledge Bases. International Journal of Human-Computer Studies, 40(3) pp. 425-442.

Mott, P. and Brooke, S. (1987) A Graphical Inference Mechanism. Expert Systems, May, 2(4) pp. 106-117.

Motta, E., O?Hara, K., and Shadbolt, N. (1994) Grounding GDMs: A Structured Case Study. International Journal of Human-Computer Studies, 40, March, pp. 315-348.

Motta, E. (1995) KBS Modelling in OCML. Proceedings on the Workshop on Modelling Languages for KBS, Vrije Universiteit Amsterdam, January 3-31, 1995.

Neches, R., Swartout, W. R. and Moore, J. D. Enhanced Maintenance and Explanation of Expert Systems Through

Explicit Models of Their Development. IEEE Transactions on Software Engineering, 11(11), pp. 1337-1351.

Nguyen, T. A., Perkins, W. A. Laffey, T. J. and Pecora D. (1985) Checking an Expert System's Knowledge Base for Consistency and Completeness. Proceedings of the Ninth International Joint Conference on Artificial Intelligence, 18-23 August, 1985, Los Angeles California, pp. 375-378.

O?Keefe, R., Balci, O. and Smith, E. P. Validating Expert System Performance. IEEE Expert, 4(11) Winter, 1987.

Perkins, W.A., Laffey, T.J., Pecora, D. and Nguyen, T.A. (1989) Knowledge Base Verification In Guida, G. and Tasso C. (Eds.) Topics in Expert System Design, North-Holland, pp. 353-376.

Preece, A. D., Shinghal, R. and Batarekh, A. (1992) Principles and practice in veryifying rule-based systems. The Knowledge Engineering Review, Vol 7:2, 115-141.

Preece, A. D. (1993) A New Approach to Detecting Missing Knowledge in Expert System Rule Bases. International Journal of Man-Machine Studies. 38, 661-688.

Price, B. A., Baecker, R. M. and Small, I.S. (1993) A Principled Taxonomy of Software Visualization. Journal of Visual Languages and Computing 4 (3), pp. 211-266.

Richer, M. and Clancey, W. (1985) Guidon-Watch: A Graphic Interface for Viewing a Knowledge-Based System. IEEE Computer Graphics and Applications. 5 (11), pp. 51-64.

Shadbolt, N, Motta, E., and Rouge, A. (1993) Constructing Knowledge-Based Systems. IEEE Software 10(6), November, 1993.

Stasko, J. T. (1990). Tango: A Framework and System for Algorithm Animation. IEEE Computer, 23(9) pp. 27-39.

Stasko, J. T. and Wehrli, J. F. (1993) Three-Dimensional Computation Visualization. Proceedings of the 1993 IEEE Symposiuim on Visual Languages. Bergen, Norway, August, 1993. pp. 100-107.

Turing, A. M. (1950. Computing machinery and Intelligence. Mind pp. 433-460.

Yost, G. R. (1992) Configuring Elevator Systems. Workplace Integration Technologies Group, Digital Equipment Corporation, 11 Locke Drive (LM02/K11), Marlboro, MA 01752. December. Unpublished.