VISUALIZATION OF OBJECT-ORIENTED (JAVA) PROGRAMS

Cornelis Huizing, Ruurd Kuiper, Christian Luijten, Vincent Vandalon

2012

Abstract

We provide an explicit, consistent, execution model for OO programs, specifically Java, together with a tool that visualizes the model This equips the student with a model to think and communicate about OO programs. Especially for an e-learning situation this is significant. Firstly, such a model supports the interaction with teachers and provides a sound basis for the understanding of other e-learning material concerning programming. Secondly, the tool supports acquiring proficiency with the model in an e-learning setting by giving precise information to hone his/her conceptualization of program execution. The model is advanced in that it accommodates multi-threading. The tool is flexible in that it directly uses the Java Virtual Machine for the visualization: extensions and adaptations can thus make use of the information the actual execution provides. A case in point is modeling the execution of code involving user interaction through the Graphic User Interface library. We consider several options here.

References

  1. Franssen, M. (2000). Cocktail: A tool for deriving correct programs. PhD thesis, Eindhoven University of Technology.
  2. Gestwicki, P. V. and Jayaraman, B. (2004). Jive: Java interactive visualization environment. In OOPSLA 7804: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 226-228, New York, NY, USA. ACM.
  3. Jayaraman, B. and Baltus, C. M. (1996). Visualizing program execution. In VL 7896: Proceedings of the 1996 IEEE Symposium on Visual Languages, page 30, Washington, DC, USA. IEEE Computer Society.
  4. Johnston, J. B. (1971). The contour model of block structured processes. SIGPLAN Not., 6(2):55-82.
  5. Kölling, M. (2010). The Greenfoot Programming Envrionment. ACM Transactions on Computing Education, 10(4).
  6. Kölling, M., Quig, B., Patterson, A., and Rosenberg, J. (2003). The BlueJ system and its pedagogy. Journal of Computer Science Education, 13(4):249-268.
  7. Leino, K. R. M. (2010). Dafny: An automatic program verifier for functional correctness. In LPAR-16, volume 6355 of LNCS, pages 348-370. Springer.
  8. Lessa, D., Czyz, J. K., and Jayaraman, B. (2010). JIVE: A pedagogic tool for visualizing the execution of Java programs.
  9. Lessa, D. and Jayaraman, B. (2012). Explaining the dynamic structure and behavior of java programs using a visual debugger. In Proceedings of the 43rd ACM Technical Symposium on Computer Science Education (SIGCSE).
  10. Levy, R. B.-B., Ben-Ari, M., and Uronen, P. A. (2002). The Jeliot 2000 program animation system. Computers & Education, 40(1):1-15.
  11. Luijten, C. A. (2003). Interactive visualization of the execution of object-oriented programs. Master's thesis, Eindhoven University of Technology.
  12. Vandalon, V. (2009). Concepts and structure of Coffeedregs. Internship report, Eindhoven Univeristy of Technology.
  13. Vandalon, V. (2010). Coffeedregs tool: www.win.tue.nl/ keesh/ow/coffeedregs/.
Download


Paper Citation


in Harvard Style

Huizing C., Kuiper R., Luijten C. and Vandalon V. (2012). VISUALIZATION OF OBJECT-ORIENTED (JAVA) PROGRAMS . In Proceedings of the 4th International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-8565-06-8, pages 65-72. DOI: 10.5220/0003924000650072


in Bibtex Style

@conference{csedu12,
author={Cornelis Huizing and Ruurd Kuiper and Christian Luijten and Vincent Vandalon},
title={VISUALIZATION OF OBJECT-ORIENTED (JAVA) PROGRAMS},
booktitle={Proceedings of the 4th International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2012},
pages={65-72},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003924000650072},
isbn={978-989-8565-06-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - VISUALIZATION OF OBJECT-ORIENTED (JAVA) PROGRAMS
SN - 978-989-8565-06-8
AU - Huizing C.
AU - Kuiper R.
AU - Luijten C.
AU - Vandalon V.
PY - 2012
SP - 65
EP - 72
DO - 10.5220/0003924000650072