Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Learning software for handling the mathematical expressions

Treść / Zawartość
Warianty tytułu
Języki publikacji
Educating young software engineers and IT experts is a great challenge nowadays. Still new technologies are used in a practical approach and many of them come from formal methods. To help future software experts in the understanding of formal methods grounded in semantics, learning software that illustrates and visualizes important techniques seems to be very fruitful. In this paper, we present software, which handles the arithmetic and Boolean expressions, their analysis, evaluation, drawing the syntax tree and the other techniques with the expressions. This software is devoted as a teaching tool for teachers when explaining appropriate theory and for students for self-studying and making their own experiments. Furthermore, this software is an integral part of our software package for several semantic methods.
Opis fizyczny
Bibliogr. 18.poz., rys.
  • Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics Technical University of Košice Košice, Slovakia
  • Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics Technical University of Košice Košice, Slovakia
  • [1] Novitzká, V. (2005). Logical reasoning about programming of mathematical machines. Acta Electrotechnica et Informatica, 5, 3, 50-55.
  • [2] Siedlecka-Lamch, O., Kurkowski, M., & Piatkowski, J. (2016). Probabilistic model checking of security protocols without perfect cryptography assumption. In Proc.: 23rd International Conference, Computer Networks 2016, Brunow, Poland, June 14-17 2016, Communications in Computer and Information Science, 608, 107-117, Springer, 2016.
  • [3] Korečko, ˇ S., & Sobota, B. (2017). Computer games as girtual environments for safety-critical software validation. Journal of Information and Organizational Sciences, 41, 2, 197-212.
  • [4] Grzybowski, A.Z. (2010). Goal programming approach for deriving priority vectors - some new ideas. Scientific Research of the Institute of Mathematics and Computer Science, 9, 1, 17-27.
  • [5] Steingartner, W., & Novitzká, V. (2017). Learning tools in course on semantics of programming languages. Conference on Mathematical Modeling in Physics and Engineering - MMFT 2017, Poraj, Poland, September 18th-21th 2017. Czestochowa; Czestochowa University of Technology.
  • [6] Steingartner, W., Eldojali, M., Radakovi´c, D., & Dostál, J. (2017). Software support for course in semantics of programming languages. 2017 IEEE 14th International Scientific Conference on Informatics. Poprad, Slovakia, November 14th-16th 2017.
  • [7] Shkarupylo, V., Skrupsky, S., Oliinyk, A., & Kolpakova, T. (2017). Development of stratified approach to software defined networks simulation. Eastern-European Journal of Enterprise Technologies, 5, 9(89) - Information and Controlling System, 67-73, doi: 10.15587/1729-4061.2017.110142.
  • [8] Oravec, J., Turán, J., Ovseník, L., Ivaniga, T., Solus, D., &Márton, M. (2018). Asymmetric image encryption approach with plaintext-related diffusion. Radioengineering, 27, 1.
  • [9] Aho, A.V., Lam, M.S., Sethi, R., & Ullman, J.D. (2006). Compilers: Principles, Techniques, and Tools. 2nd Edition, Addison Wesley, USA.
  • [10] Steingartner, W., & Novitzká, V. (2015). Semantics of Programming Languages. 1st edition. Technical University of Košice (in Slovak).
  • [11] Nielson, H.R., & Nielson, F. (2007). Semantics with Applications. London; Springer-Verlag.
  • [12] Schreiner, W., & Steingartner, W. (2018). Visualizing Execution Traces in RISCAL. Technical Report, Research Institute for Symbolic Computation (RISC). Linz; Johannes Kepler University.
  • [13] Yar-Muhamedov, I. (2018). Software tool for course semantics of programming languages. Masters thesis. Technical University of Košice.
  • [14] Norvell, T. (1999). Parsing Expressions by Recursive Descent. Retrieved from theo/Misc/exp parsing.htm.
  • [15] Portyankin, I. (2010) Swing, Effective User Interfaces, 2nd Edition, Moscow, Lory (in Russian).
  • [16] JUNG 2.0 Tutorial. (2009).
  • [17] Donszelmann, M. et al. (2007). FreeHEP PDF Driver. Retrieved from https://mvnrepository. com/artifact/org.freehep/freehep-graphicsio-pdf.
  • [18] Steingartner, W., Novitzká, V., Eldojali, M.A., & Radaković, D. (2016). Some aspects about coalgebras as foundation for expressing the semantics of imperative languages. Mathematics and Computer Science - MaCS 2016, Proceedings of the 11th Joint Conference on Mathematics and Computer Science. Eger, Hungary, May 20-22, 2016.
Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).
Typ dokumentu
Identyfikator YADDA
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.