About

CD part of the software visualization logo
Software Visualization animation

Software visualization was the use of film craft, graphics, typography, and animation techniques to show the execution of computer programs for debugging or teaching purposes.

Projects within KMi

  • A principled taxonomy of software visualization
  • Viz a framework for creating software visualizations.
  • The Transparent Prolog Machine (TPM)
  • Visualizing Evolutionary Computing Programs
  • A source level stepper for Lisp
  • The Internet Software Visualization Laboratory for teaching programming over the Web.
  • Understanding software visualization
  •  Empirical studies of experts using visual programming languages
  • We used Viz to create the visualizations within the VITAL project. We have some examples.
  • Hank: A Visual Cognitive Modelling Language

Publications

Stasko, J. , Domingue, J., Brown, M., and Price, B. A.(Eds.) (1998) Software Visualization: Programming as a Multimedia Experience. MIT Press. (MIT Press overview).

Eisenstadt, M., Brayshaw, M. and Payne, J. The Transparent Prolog Machine: visualising logic programs. Dordrecht: Kluwer, 1991.

Domingue, J. & Mulholland, P.(1998) An Effective Web Based Software Visualization Learning Environment. Journal of Visual Languages and Computing 9(5), October, 1998, pp. 485-508.

Domingue, J.and Mulholland, P. (1997) Teaching Programming at a Distance: The Internet Software Visualization Laboratory. Journal of Interactive Media in Education, 7 (1).

Domingue, J.and Mulholland, P. (1997) Fostering Debugging Communities on the Web. Communications of the ACM, Vol 40, No. 4, pp. 65-71, April, 1997.

Eisenstadt, M. , Price, B. A. and Domingue, J.(1993) Software visualization as a pedagogical tool. Instructional Science, 21.

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), September 1993, pp. 211-266.

Brayshaw, M., and Eisenstadt, M.(1991)A practical graphical tracer for Prolog. International Journal of Man-Machine Studies, 35 (5), pp. 597-631, 1991.

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

Eisenstadt, M., and Brayshaw, M. A fine-grained account of Prolog execution for teaching and debugging. Instructional Science., 19(4/5), pp.407-436, 1990.

Eisenstadt, M., and Brayshaw, M. The transparent Prolog machine (TPM): an execution model and graphical debugger for logic programming. Journal of Logic Programming, 5 (4), pp. 277-342, 1988.

Mulholland, P. (in press). The ISM framework: understanding and evaluating software visualization tools. In P. Brna, B. du Boulay and H. Pain, (Eds.), Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Norwood, NJ: Ablex.

Domingue, J. (1998) Visualizing Knowledge Based Systems. In Stasko, J., Domingue, J., Brown, M., and Price, B. (Eds.) Software Visualization: Programming as a Multimedia Experience. pp. 223-236. MIT Press.

Mulholland, P. and Eisenstadt, M. (1998). Using Software to Teach Computer Programming: Past, Present and Future. In Stasko, J., Domingue, J., Brown, M., and Price, B. (Eds.), Software Visualization: Programming as a mutli-media experience. pp. 399-408. MIT Press.

Mulholland, P.(1998). A Principled Approach to the Evaluation of Software Visualization: a case-study in Prolog. In Stasko, J., Domingue, J., Brown, M., and Price, B. (Eds.), Software Visualization: Programming as a mutli-media experience. pp. 439-452. MIT Press.

Price, B. A.., Baecker, R.M., and Small, I.S. (1998). An Introduction to Software Visualization. In Stasko, J., Domingue, J., Brown, M., and Price, B. (Eds.), Software Visualization: Programming as a mutli-media experience. pp. 3-28. MIT Press.

Price, B. A., and Baecker, R.M. The Early History of Software Visualization (1998) In Stasko, J., Domingue, J., Brown, M., and Price, B. (Eds.), Software Visualization: Programming as a mutli-media experience. pp. 29-34. MIT Press.

Eisenstadt, M., and Brayshaw, M. AORTA diagrams as an aid to visualising the execution of Prolog programs. In A. Kilgour (Ed.), Graphics Tools for Software Engineering. Cambridge, U.K.: Cambridge University Press, 1989.

Eisenstadt, M., and Brayshaw, M. An integrated textbook, video, and software environment for novice and expert Prolog programmers. In E. Soloway and J. Spohrer (Eds.), Understanding The Novice Programmer. Hillsdale, N.J.: Lawrence Erlbaum Associates, 1989.

Brayshaw, M., and Eisenstadt, M. Adding data and procedure abstraction to the Transparent Prolog Machine (TPM). In Kowalski, R., and Bowen, K, (Eds.), Logic Programming. Cambridge, MA.: MIT Press, 1988.

Mulholland, P. and Watt, S. N. K. (1999). Programming with a purpose: Hank, gardening and schema theory. In Collected Papers of the Psychology of Programming Interest Group, Computer Based Learning Unit, University of Leeds.

Mulholland, P. and Watt, S. N. K. (1998). Hank: A Friendly Cognitive Modelling Language for Psychology Students. In Proceedings of IEEE Symposium on Visual Languages, VL ’98, Nova Scotia, Canada.

Watt, S. N. K. and Mulholland, P. (1998). Hank: A cognitive modelling language for humans. CiP98, Computers in Psychology Conference, University of York.

Mulholland, P. and Watt, S. N. K. (1998). Hank: A cognitive modelling language for psychology students. In Collected Papers of the Psychology of Programming Interest Group, The Open University, Milton Keynes.

Mulholland, P. (1997). Using a Fine-Grained Comparative Evaluation Technique to Understand and Design Software Visualization Tools. In S. Wiedenbeck and J. Scholtz (Eds.), Empirical Studies of Programmers: Seventh Workshop. New York: ACM Press.

Mulholland, P. (1997). Incorporating Software Visualization in Prolong teaching: a challenge, a restriction and an opportunity. Proceedings of the 8th Workshop on Logic Programming Environments, Leuven, Belgium.

Domingue, J.and Mulholland, P. (1997) Staging Software Visualizations on the Web. IEEE Symposium on Visual Languages (VL ’97), Europa Palace Hotel, Capri, Italy, September 23-26, 1997.

Domingue, J. and Mulholland, P. (1997). Has anyone seen this program? Synchronous and asynchronus help for novice programmers. 8th World Conference On Artificial Intelligence in Education, Workshop on Intelligent Educational Systems on the World-Wide Web, Kobe, Japan.

Domingue, J.and Mulholland, P. (1997) The Internet Software Visualization Laboratory. PPIG97, Psychology of Programming Interest Group 9th Annual Workshop Jan. 3rd – 5th 1997 Sheffield Hallam University, Sheffield, UK.

Collins, T.(1997). Using Software Visualization technology to help evolutionary algorithm users validate their solutions. In T. Baeck, editor, The Proceedings of The Seventh International Conference on Genetic Algorithms (ICGA97), Michigan, USA. pages 307-314. Morgan Kaufmann.

Collins, T.1997). Using Software Visualization technology to help Genetic Algorithm Designers. In The Ninth Annual Conference of the Psychology of Programming Interest Group (PPIG 9), Sheffield, UK. pages 43-51.

Collins, T.(1996) The Visualization of Genetic Algorithms – Design Survey. In The Proceedings of the First Student Workshop of the Psychology of Programming Interest Group (PPIG), Matlock, UK. pages 35-52.

Domingue, J. (1996) Driving Knowledge Acquisition via Expert Scripted Visualizations. Proceedings of the 1996 AAAI Spring Symposium Acquisition, Learning and Demonstration: Automating Tasks for Users 25-27 March, 1996.

Dybowski, R., Collins, T. and Weller, P. (1996). Visualization of binary string convergence by Sammon mapping. In L.J. Fogel, P.J. Angeline, and T. Baeck, editors, The Proceedings of the Fifth Annual Conference on Evolutionary Programming (EP96), San Diego, CA. pages 377-383. MIT Press.

Domingue, J. (1995) Using Software Visualization Technology in the Validation of Knowledge Based Systems. Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff Canada, February 26-March 3, 1995.

Mulholland, P. (1995). Prolog without tears: An evaluation of the effectiveness of a non Byrd Box model for students. Collected Papers of the Psychology of Programming Interest Group, University of Edinburgh.

Mulholland, P. (1994). The effect of graphical and textual visualization on the comprehension of Prolog execution by novices: and empirical analysis. Collected Papers of the Psychology of Programming Interest Group, Open University.

Eisenstadt, M., Price, B. A. and Domingue, J. (1993) Redressing ITS Fallacies Via Software Visualization. In Lemut, E., du Boulay, B., & Dettori, G. (eds) Cognitive Models and Intelligent Environments for Learning Programming. Springer-Verlag, February, 1993.

Domingue, J., Price, B. A. and Eisenstadt, M. (1992) A framework for describing and implementing software visualization systems. Proceedings of Graphics Interface ’92, 11-15th May, Vancouver, British Columbia, Canada.

Domingue, J., Price, B. A. and Eisenstadt, M. (1992)Viz: A Framework for Describing and Implementing Software Visualisation Systems. In D. Gilmore and R. Winder, (Eds.) User-Centred Requirements for Software Engineering Environments. Berlin: Springer-Verlag (NATO Advanced Science Institute Series F: Computer and Systems Sciences), 1993.

Domingue, J. (1990) Compressing and Comparing Metric Execution Spaces. Proceedings of the 3rd IFIP Conference on Human-Computer Interaction, Cambridge, in Diaper, D., Gilmore, D., Cockton, G. & Shackel, B. (eds) Human-Computer Interaction: Interact’90, North-Holland, August, 1990.

Brayshaw, M., Domingue, J. and Rajan, T. (1989) An Integrated Approach to Monitoring the Behaviour and Performance of Inference Systems. Proceedings of HCI’89 in Sutcliffe, A. & Macaulay, L. (eds) People and Computers V, Cambridge University Press, September, 1989.

Domingue, J. and Eisenstadt, M. (1989) A New Metaphor for the Graphical Explanation of Forward Chaining Rule Execution. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI ’89), Detroit, USA, August, 1989.

Domingue, J. (1988) TRI: The Transparent Rule Interpreter. Proceedings of Expert Systems ’88 in Shadbolt, N. (ed) Research and Development in Expert Systems VII, Cambridge University Press, December, 1988.

Eisenstadt, M., and Brayshaw, M. Graphical Debugging with the Transparent Prolog Machine (TPM). Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), Milan, Italy, 1987.

Collins, T.(1996) The Genotypic-Space Mapping: Population Visualization for Genetic Algorithms. KMi Technical report, KMI-TR-39, Knowledge Media Institute, The Open University, Milton Keynes, UK.

Collins, T.(1995) The Visualization of Genetic Algorithms – Related Work. KMi Technical report, KMI-TR-19, Knowledge Media Institute, The Open University, Milton Keynes, UK.

Mulholland, P. (1995). A framework for describing and evaluating Software Visualization Systems: A case-study in Prolog. PhD Thesis, Knowledge Media Institute, Open University.

Domingue, J. (1995) The VITAL Bug Tool Report [VITAL Report DD3.4.1] KMI-TR-9. The Knowledge Media Institute, The Open University, April, 1995.

Mulholland, P.(1994). Evaluating Program Visualization Systems: an information-based methodology. Technical Report 107. Human Cognition Research Laboratory. Open University.

Domingue, J. (1994) The VITAL Visualization Tool Report [VITAL Report DD3.4.2]. The Knowledge Media Institute, The Open University, May, 1994.

Domingue, J. (1993) VITAL Bug Location Methodology [VITAL Report OU/DD231/D1.0] KMI-TR-7. The Knowledge Media Institute, The Open University, April, 1993.