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
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Di Battista, G., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall, New Jersey (1999)
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)
Kasyanov, V.N., Kasyanova, E.V.: Visualization of Graphs and Graph Models. Siberian Scientific Publishing House, Novosibirsk (2010). (in Russian)
Kerren, A., Stasko, J.T.: Algorithm animation. In: Diehl, S. (ed.) Software Visualization. LNCS, vol. 2269, pp. 1–15. Springer, Heidelberg (2002)
Backus, J.: Can programming be liberated from the von Neumann style? Commun. ACM 21(8), 613–641 (1978)
Evstigneev, V.N., Kasyanov, V.N.: Explanatory Dictionary of Graph Theory in Computer Science and Programming. Nauka Publ., Novosibirsk (1999). (in Russian)
Evstigneev, V.N., Kasyanov, V.N.: Dictionary of Graphs in Computer Science. Siberian Scientific Publishing House, Novosibirsk (2009)
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)
Kasyanov, V.N., Evstigneev, V.N.: Graph Theory for Programmers: Algorithms for Processing Trees. Kluwer Academic Publishers, Dordrecht/Boston/London (2000)
Kasyanov, V.N., Evstigneev, V.N.: Graphs in Programming: Processing, Visualization and Application. BHV-Petersburg, St. Petersburg (2003). (In Russian)
Kasyanov, V.N.: Methods and tools for structural information visualization. WSEAS Trans. Comput. 12(7), 349–359 (2013)
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)
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)
Kasyanov, V.N., Kasyanova, E.V.: Information visualization based on graph models. Enterp. Inf. Syst. 7(2), 187–197 (2013)
Cann, D.C.: Retire Fortran?: a debate rekindled. Commun. ACM 34(8), 81–89 (1992)
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)
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)
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)
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)
Kasyanov, V.N.: Sisal 3.2: functional language for scientific parallel programming. Enterp. Inf. Syst. 7(2), 227–236 (2013)
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)
Kasyanov, V.N.: Transformational approach to program concretization. Theor. Comput. Sci. 90(1), 37–46 (1991)
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Kasyanov, V.N., Kasyanova, E.V. (2015). Graph- and Cloud-Based Tools for Computer Science Education. In: Boumerdassi, S., Bouzefrane, S., Renault, É. (eds) Mobile, Secure, and Programmable Networking. MSPN 2015. Lecture Notes in Computer Science(), vol 9395. Springer, Cham. https://doi.org/10.1007/978-3-319-25744-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-25744-0_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25743-3
Online ISBN: 978-3-319-25744-0
eBook Packages: Computer ScienceComputer Science (R0)