Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Assisted Learning

ICCAL 1989: Computer Assisted Learning pp 359–378Cite as

Analysis of heuristic reasoning for the visualization of CAD heuristics

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 360))

Abstract

In this paper we develop a conceptual model for CAD algorithm visualization. We analyze the knowledge requirements necessary and formalize a visualization model called FOVISTA. FOVISTA has four essential "functional views" which emphasize the visualization of the computational behaviour of CAD heuristics, rather than the final result. The aim is to provide a learning and research tool for the design of heuristics. As an example, we consider a VLSI (Very Large Scale Integration) heuristic, that of detailed (switchbox) routing.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bentley, J. L., and Kernighan, B. W., "A System for Algorithm Animation: Tutorial and User Manual. Tech. Rep. 132, Computer Science, AT&T Bell Laboratories, Murray Hill, N.J., Jan. 1987.

    Google Scholar 

  2. Brown, M. C., "Exploring Algorithms Using Balsa-II", in IEEE Computer, May 1988, pp. 14–36.

    Google Scholar 

  3. Brown, M., and R. Sedgewick, "Techniques for Algorithm Animation", IEEE Software, Vol. 2, No. 1, Jan. 1985, pp. 28–39.

    Google Scholar 

  4. Brown, G. P., R. T. Carling, C. F. Herot, D. A. Kramlich, and P. Souza, "Program Visualization: Graphical Support for Software development", IEEE Computer, Aug. 85., pp. 27–37.

    Google Scholar 

  5. Card, S.K., Pavel, M. and Farrell, J. E., (1985), "Window-Based Computer Dialogues", Human-Computer Interaction, Interact '84, Austin, Texas, North Holland Proceedings, pp. 239–243.

    Google Scholar 

  6. Christodoulakis, S. M. Theodoridou, F. Ho, M. Papa and A. Pathria, "Multimedia Document Presentation, Information Extraction, and Document Formation in MINOS: A Model and a System, in ACM Trans. on Office Information Systems, Vol. 4, No. 4, Oct. 1986, PP. 345–383.

    Article  Google Scholar 

  7. Duisberg, R. A., "Visual Programming of Program Visualizations", Proc. Conference on Visual languages 1987, Linkoping, Sweden, Aug. 1987.

    Google Scholar 

  8. Fisher, G., "Student-Oriented features of an Interactive Programming Environment", in ACM (1987), pp. 532–537.

    Google Scholar 

  9. Frenkel, K. A., "The Art and Science of Visualizing Data", in Communications of the ACM, Feb. 1988, Vol. 31, Number 2, pp. 111–121.

    Article  Google Scholar 

  10. Giannotti, E. I., "Algorithm Animator: A Tool for programming Learning", in ACM, pp. 308–314.

    Google Scholar 

  11. Goldstein, I. and Rapert, S. (1977), "Artificial Intelligence, language and the Study of Knowledge", Cognitive Science 1, (1), 1–21.

    Article  Google Scholar 

  12. Grafton, R., "Guest Editor's Introduction: Visual Programming", IEEE Computer, Vol. 18, No. 8, August 1985.

    Google Scholar 

  13. Halbert, D. C., "Programming by Example", Ph. D. Thesis, CS Division, Dept. of EECS, UCB, 1984.

    Google Scholar 

  14. Hammond, N. and Allinson, L., "Travels Around a Learning Support Environment: Rambling, Orienteering or Touring?", in ACM proc. of CHI'88, (1988), pp. 269–273.

    Google Scholar 

  15. Helttula, E., Hyrskykari, A., and Raiha, K., "The Magical ALADDIN Tour", in HICSS-22.

    Google Scholar 

  16. Jacob, R., "A State Transition Diagram Language for Visual programming", in IEEE Computer Aug. 85, pp. 51–60.

    Google Scholar 

  17. Kant, E., "Understanding and Automating Algorithm Design", in IEEE Trans. Software Eng., vol SE-11, No. 11, Nov. 85.

    Google Scholar 

  18. London, R. L., and R. A. Duisberg, "Animating programs Using Smalltalk", in IEEE Computer, vol 18, No. 8, Aug. 1985, pp. 61–71.

    Google Scholar 

  19. Maurer, H., F. Makedon and F. Huber, "HyperCOSTOC" a ComprehensiveComputer-Based Teaching Support System", in J. for Microcomputer Applications, to appear.

    Google Scholar 

  20. Makedon, F., H. Maurer, and T. Ottmann., "Presentation Type CAI in Computer Science Education at University Level", J. of Microcomputer Applications 10 (1987), 283–295.

    Article  Google Scholar 

  21. Makedon, F., H. Maurer and L. Reinsperger, "Active Annotation in Hyper-COSTOC", IIG Technical Report, No. 256 (1988), Inst. of Informatics, Graz U. of Technology, Schiesstattgasse 4a, A-8010 Graz, Austria.

    Google Scholar 

  22. Makedon, F and M. Ouksel, "The Anatomy of an Object-Oriented Visualization System for Learning Algorithm Design", Technical Report, CLEAR Center, The U. of Texas at Dallas, Richardson, Tx, 75083-0688.

    Google Scholar 

  23. Marek-Sadowska, M., "Two Dimensional Router for Double Layer Layout", in 22nd Design Automation Conf. (1985), pp 117–123.

    Google Scholar 

  24. Marchionini, G., and B. Sheiderman, "Finding Facts vs. Browsing Knowledge in Hypertext Systems", in IEEE Computer, Jan. 1988, pp. 70–80.

    Google Scholar 

  25. Maxim, B. R., and B. S. Elenbogen, "Teaching Programming Algorithms Aided by Computer Graphics", in 1987 ACM, pp. 297–301.

    Google Scholar 

  26. Meyrowitz, N. and A. Van Dam, "Interactive Editing Systems: Part II", in Computing Surveys, Vol. 14, No. 3, Sept. 1982, pp. 353–415.

    Article  Google Scholar 

  27. Mitchell, T., Steinberg, L, Kedar-Cabelli, S., Kelly, V., Shulman, J, and Weinrich, T., "An Intelligent Aid for Circuit Redesign", in Proc. of the National Conference on Artificial Intelligence, Washington, D.C., Aug. 1983, pp. 273–278.

    Google Scholar 

  28. Myers, B.A., "Visual Programming, Programming by Example, and Program Visualization, A Taxonomy", in CHI'86 Proceedings, pp. 59–66.

    Google Scholar 

  29. Sleeman, D. H., Hendley, R, and Ace, J., "A System which analyzes Complex Explanations", in Intern. J. of Man-machine Studies, 11, pp. 125–144.

    Google Scholar 

  30. Smith, D. R., G. B. Kotik and S. J. Westfold, "Research on Knowledge-Based Software Environments at Kestrel Institute", IEEE Trans. on Software Engineering. vol SE-11, No. 11, Nov. 85, pp. 1278–1295.

    Google Scholar 

  31. Soukoup, J., "Circuit Layout", in Proc. of IEEE, vol. 69, pp. 1281–1304, 1981.

    Google Scholar 

  32. Steier, D. M., and E. Kant, "The Roles of Execution and Analysis in Algorithm Design", IEEE Trans. Software Eng., Vol. SE-11, No. 11, Nov. 1985, pp. 1375–1386.

    Google Scholar 

  33. Stone, D. C., "A Modular Approach to Program Visualization in Computer Science Instruction", in 1987 ACM Proc. of Human-Computer Interaction, pp. 516–522.

    Google Scholar 

  34. Teitelman, W., "A Display Oriented Programmer's Assistant", in Int. J. Man-machine Studies (1979) 11, 157–187, Acad. Press Inc., pp. 157–187.

    Google Scholar 

  35. Yankelovich, N., Haan, B., Meyrowitz, N., Drucker, S., "Intermedia: The Concept and the Construction of a Seamless Information Environment", in IEEE Computer, Jan. 1988, pp. 81–96.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Computer Learning Research Center and Computer Science Program, University of Texas at Dallas, 75083-0688, Richardson, Texas

    Fillia Makedon

  2. Electronics Research Laboratory, University of California, 94720, Berkeley, CA

    Malgorzata Marek-Sadowska

Authors
  1. Fillia Makedon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Malgorzata Marek-Sadowska
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hermann Maurer

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Makedon, F., Marek-Sadowska, M. (1989). Analysis of heuristic reasoning for the visualization of CAD heuristics. In: Maurer, H. (eds) Computer Assisted Learning. ICCAL 1989. Lecture Notes in Computer Science, vol 360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51142-3_72

Download citation

  • DOI: https://doi.org/10.1007/3-540-51142-3_72

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51142-7

  • Online ISBN: 978-3-540-46163-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation