Advertisement

Graph- and Cloud-Based Tools for Computer Science Education

  • Victor N. KasyanovEmail author
  • Elena V. Kasyanova
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9395)

Abstract

In the paper, the graph- and cloud-based tools being under development at Institute of Informatics Systems in Novosibirsk for supporting of computer science education are presented. The Web-systems Wiki GRAPP and WEGA intended to help in teaching and research in graph theory, graph algorithms and their applications to computer science are described. The visual systems Higres and Visual Graph for graphs and graph algorithms are presented. The cloud system CSS aimed at supporting of functional and parallel programming is considered.

Keywords

Cloud computing Computer science education Graphs Graph algorithms Information visualization Parallel programming Web-systems 

Notes

Acknowledgement

The authors are thankful to all colleagues taking part in the projects described. This research was supported in part by the Russian Foundation for Basic Research under grant RFBR 15-07-02029.

References

  1. 1.
    Di Battista, G., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall, New Jersey (1999)zbMATHGoogle Scholar
  2. 2.
    Herman, I., Melançon, G., Marshall, M.S.: Graph visualization and navigation in information visualization: a survey. IEEE Trans. Vis. Comput. Graph. 6, 24–43 (2000)CrossRefGoogle Scholar
  3. 3.
    Kasyanov, V.N., Kasyanova, E.V.: Visualization of Graphs and Graph Models. Siberian Scientific Publishing House, Novosibirsk (2010). (in Russian)zbMATHGoogle Scholar
  4. 4.
    Kerren, A., Stasko, J.T.: Algorithm animation. In: Diehl, S. (ed.) Software Visualization. LNCS, vol. 2269, pp. 1–15. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    Backus, J.: Can programming be liberated from the von Neumann style? Commun. ACM 21(8), 613–641 (1978)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Evstigneev, V.N., Kasyanov, V.N.: Explanatory Dictionary of Graph Theory in Computer Science and Programming. Nauka Publ., Novosibirsk (1999). (in Russian)Google Scholar
  7. 7.
    Evstigneev, V.N., Kasyanov, V.N.: Dictionary of Graphs in Computer Science. Siberian Scientific Publishing House, Novosibirsk (2009)Google Scholar
  8. 8.
    Kasyanov, V.N.: Support tools for graphs in computer science, In: Proceedings of the 15th ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2010), p. 315. ACM Press, New York (2010)Google Scholar
  9. 9.
    Kasyanov, V.N., Evstigneev, V.N.: Graph Theory for Programmers: Algorithms for Processing Trees. Kluwer Academic Publishers, Dordrecht/Boston/London (2000)CrossRefzbMATHGoogle Scholar
  10. 10.
    Kasyanov, V.N., Evstigneev, V.N.: Graphs in Programming: Processing, Visualization and Application. BHV-Petersburg, St. Petersburg (2003). (In Russian)Google Scholar
  11. 11.
    Kasyanov, V.N.: Methods and tools for structural information visualization. WSEAS Trans. Comput. 12(7), 349–359 (2013)Google Scholar
  12. 12.
    Lisitsyn, I.A., Kasyanov, V.N.: Higres - visualization system for clustered graphs and graph algorithms. In: Kratochvíl, J. (ed.) GD 1999. LNCS, vol. 1731, pp. 82–89. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  13. 13.
    Brandes, U., Marshall, M.S., North, S.C.: Graph data format workshop report. In: Marks, J. (ed.) GD 2000. LNCS, vol. 1984, pp. 407–409. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  14. 14.
    Kasyanov, V.N., Kasyanova, E.V.: Information visualization based on graph models. Enterp. Inf. Syst. 7(2), 187–197 (2013)CrossRefGoogle Scholar
  15. 15.
    Cann, D.C.: Retire Fortran?: a debate rekindled. Commun. ACM 34(8), 81–89 (1992)CrossRefGoogle Scholar
  16. 16.
    Gaudiot, J.-L., DeBoni, T., Feo, J., et al.: The Sisal project: real world functional programming. In: Pande, S., Agrawal, D.P. (eds.) Compiler Optimizations for Scalable Parallel Systems. LNCS, vol. 1808. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  17. 17.
    McGraw, J., Skedzielewski, S., Allan, S., Grit, D., Oldehoeft, R., Glauert, J., Dobes, I., Hohensee, P.: SISAL-Streams and Iterations in a Single Assignment Language, Language Reference Manual: Version 1.2. Technical Report TR M-146, University of California, Lawrence Livermore Laboratory, March (1985)Google Scholar
  18. 18.
    Feo, J.T., Miller, P.J., Skedzielewski, S.K., Denton, S. M., Solomon, C. J.: SISAL 90. In: Proceedings of High Performance Functional Computing. pp. 35–47, Denver (1995)Google Scholar
  19. 19.
    Kasyanov, V.N., Stasenko, A.P.: Sisal 3.2 programming language. In: Kasyanov, V.N. (ed.) Tools and Techniques of Program Construction, pp. 56–134, IIS, Novosibirsk (2007) (in Russian)Google Scholar
  20. 20.
    Kasyanov, V.N.: Sisal 3.2: functional language for scientific parallel programming. Enterp. Inf. Syst. 7(2), 227–236 (2013)CrossRefGoogle Scholar
  21. 21.
    Cann, D.C., Feo, J.T., Böhm, A.P.W., et al.: Sisal Reference Manual: Language Version 2.0. Technical report Lawrence Livermore National Laboratory, UCRL-MA-109098, Livermore, CA (1991)Google Scholar
  22. 22.
    Kasyanov, V.N.: Transformational approach to program concretization. Theor. Comput. Sci. 90(1), 37–46 (1991)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Institute of Informatics SystemsNovosibirsk State UniversityNovosibirskRussia

Personalised recommendations