{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T12:03:00Z","timestamp":1748606580176},"reference-count":30,"publisher":"Walter de Gruyter GmbH","issue":"1","license":[{"start":{"date-parts":[[2020,12,17]],"date-time":"2020-12-17T00:00:00Z","timestamp":1608163200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,1,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>In this work we discuss the motivation for innovations and need of a teaching tool for the visualization of the natural semantics method of imperative programming languages. We present the <jats:italic>r\u00f4le<\/jats:italic> of the teaching software, its design, development and use in the teaching process. Our software module is able to visualize the natural semantics evaluation of programs. It serves as a compiler with environment that can visually interpret simple programming language <jats:italic>Jane<\/jats:italic> statements and to depict them into a derivation tree that represents the semantic method of natural semantics. A formal definition of programming language <jats:italic>Jane<\/jats:italic> used in the teaching of formal semantics and production rules in natural semantics for that language are shown as well. We present, how the presented teaching tool can provide particular visual steps in the process of finding the meaning of well-structured input program and to depict complete natural-semantic representation of an input program.<\/jats:p>","DOI":"10.1515\/comp-2020-0130","type":"journal-article","created":{"date-parts":[[2020,12,22]],"date-time":"2020-12-22T13:14:16Z","timestamp":1608642856000},"page":"2-11","source":"Crossref","is-referenced-by-count":7,"title":["On some innovations in teaching the formal semantics using software tools"],"prefix":"10.1515","volume":"11","author":[{"given":"William","family":"Steingartner","sequence":"first","affiliation":[{"name":"Technical University of Ko\u0161ice , Slovakia"}]}],"member":"374","published-online":{"date-parts":[[2020,12,17]]},"reference":[{"key":"2022020121510240201_j_comp-2020-0130_ref_001","doi-asserted-by":"crossref","unstructured":"Dost\u00e1l J., Wang X., Steingartner W., Naungchalerm P., Digital Intelligence - New Concept in Context of Future School of Education, Proceedings of International Conference of Education, Research and Innovation \u2013 ICERI 2017 Conference (16th\u201318th November 2017, Seville, Spain), available at SSRN: https:\/\/ssrn.com\/abstract=3255366","DOI":"10.21125\/iceri.2017.0997"},{"key":"2022020121510240201_j_comp-2020-0130_ref_002","doi-asserted-by":"crossref","unstructured":"Jhanji K., Kumar A. R., Modernization in Teaching Learning Process, In Innovative Teaching Practices for 4G students, IOR International Press, 2019, 105\u2013109","DOI":"10.34256\/iorip19122"},{"key":"2022020121510240201_j_comp-2020-0130_ref_003","unstructured":"Sotiriadou A., Kefalas P., Teaching Formal Methods in Computer Science Undergraduates, 2000, unpublished, available online"},{"key":"2022020121510240201_j_comp-2020-0130_ref_004","doi-asserted-by":"crossref","unstructured":"Dost\u00e1l J., Wang X., Naungchalerm P., Brosch A., Steingartner W., Researching computing teachers\u2019 attitudes towards changes in the curriculum content \u2014 an innovative approach or resistance? In: 2017 Second International Conference on Informatics and Computing \u2013 ICIC 2017 (2017, Jayapura, Indonesia), IEEE, New York, 2017, 1\u20136","DOI":"10.1109\/IAC.2017.8280531"},{"key":"2022020121510240201_j_comp-2020-0130_ref_005","unstructured":"Novitzk\u00e1 V., Logical Reasoning about Programming of Mathematical Machines, Acta Electrotechnica et Informatica, 2005, 5(3), 50\u201355"},{"key":"2022020121510240201_j_comp-2020-0130_ref_006","doi-asserted-by":"crossref","unstructured":"Steingartner W., Radakovi\u0107 D., Novitzk\u00e1 V., Eldojali M. A. M., An analysis of some aspects of component-based programming for selecting appropriate categorical structures as their models, Acta Electrotechnica et Informatica, 2017, 17(2), 3\u201310","DOI":"10.15546\/aeei-2017-0009"},{"key":"2022020121510240201_j_comp-2020-0130_ref_007","doi-asserted-by":"crossref","unstructured":"Bilanov\u00e1 Z., Perh\u00e1\u010d J., About possibilities of applying logical analysis of natural language in computer science, Proceedings of IEEE 13th International Symposium on Applied Computational Intelligence and Informatics \u2013 SACI 2019 (29th\u201331st May 2019, Timi\u015foara, Romania), IEEE, Danvers, 2019, 256\u2013260","DOI":"10.1109\/SACI46893.2019.9111507"},{"key":"2022020121510240201_j_comp-2020-0130_ref_008","doi-asserted-by":"crossref","unstructured":"Mih\u00e1lyi D., Penia\u0161kov\u00e1 M., Perh\u00e1\u010d J., Miheli\u010d J., WEB-Based Questionnaires For Type Theory Course, Acta Electrotechnica et Informatica, 2017, 17(4), 35\u201342","DOI":"10.15546\/aeei-2017-0032"},{"key":"2022020121510240201_j_comp-2020-0130_ref_009","doi-asserted-by":"crossref","unstructured":"Mosses P. D., Teaching Semantics of Programming Languages with Modular SOS, In: Proceedings of the 2006 Conference on Teaching Formal Methods: Practice and Experience, Series TFM\u20192006, BCS Learning & Development Ltd., Swindon, UK, 2006","DOI":"10.14236\/ewic\/TFM2006.12"},{"key":"2022020121510240201_j_comp-2020-0130_ref_010","doi-asserted-by":"crossref","unstructured":"Mosses P. D., Theory and Practice of Action Semantics, BRICS Report Series RS9653, University of Aarhus, Aarhus, Denmark, 1996","DOI":"10.7146\/brics.v3i53.20056"},{"key":"2022020121510240201_j_comp-2020-0130_ref_011","unstructured":"Steingartner W., Perh\u00e1\u010d J., Bili\u0148ski A., A Visualizing Tool for Graduate Course: Semantics of Programming Languages, IPSI BgD Transactions on Internet Research, 2019, 15(2), 52\u201358"},{"key":"2022020121510240201_j_comp-2020-0130_ref_012","doi-asserted-by":"crossref","unstructured":"Steingartner W., Novitzk\u00e1 V., Ba\u010d\u00edkov\u00e1 M., Kore\u010dko \u0160., New approach to categorical semantics for procedural languages, Computing and Informatics, 2017, 36(6), 1385\u20131414","DOI":"10.4149\/cai_2017_6_1385"},{"key":"2022020121510240201_j_comp-2020-0130_ref_013","doi-asserted-by":"crossref","unstructured":"Steingartner W., Yar-Muhamedov I., Learning software for handling the mathematical expressions, Journal of Applied Mathematics and Computational Mechanics, 2018, 17(2), 77\u201391","DOI":"10.17512\/jamcm.2018.2.07"},{"key":"2022020121510240201_j_comp-2020-0130_ref_014","unstructured":"Kochan\u00edkov\u00e1 \u017d., Steingartner W., Eldojali M. A. M., A code generator for an abstract implementation of imperative language, In: Electrical Engineering and Informatics VIII : Proceedings of the Faculty of Electrical Engineering and Informatics of the Technical University of Ko\u0161ice, 2017, 342\u2013347"},{"key":"2022020121510240201_j_comp-2020-0130_ref_015","doi-asserted-by":"crossref","unstructured":"Steingartner W., Haratim M., Dost\u00e1l J., Software visualization of natural semantics of imperative languages \u2013 a teaching tool, In: Proceedings of the 2019 IEEE 15th International Scientific Conference on Informatics \u2013 Informatics 2019 (20th\u201322nd November 2019, Poprad, Slovakia) IEEE, Danvers, 387\u2013392","DOI":"10.1109\/Informatics47936.2019.9119290"},{"key":"2022020121510240201_j_comp-2020-0130_ref_016","doi-asserted-by":"crossref","unstructured":"Nielson H. R., Nielson F., Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science) 2007th Edition, Springer, 2007","DOI":"10.1007\/978-1-84628-692-6"},{"key":"2022020121510240201_j_comp-2020-0130_ref_017","unstructured":"Ro\u015fu G., K \u2013 A Semantic Framework for Programming Languages and Formal Analysis Tools, In: D. Peled and A. Pretschner (eds.), Dependable Software Systems Engineering, Series NATO Science for Peace and Security, IOS Press, 2017"},{"key":"2022020121510240201_j_comp-2020-0130_ref_018","doi-asserted-by":"crossref","unstructured":"Perh\u00e1\u010d J., Mih\u00e1lyi D., Novitzk\u00e1 V., Between syntax and semantics of resource oriented logic for IDS behavior description, Journal of Applied Mathematics and Computational Mechanics, 2016, 15(2), 105\u2013118","DOI":"10.17512\/jamcm.2016.2.12"},{"key":"2022020121510240201_j_comp-2020-0130_ref_019","unstructured":"Dedera L., Computer languages and their processing, Armed Forces Academy, Liptovsk\u00fd Mikul\u00e1\u0161, Slovakia, 2014 (in Slovak)"},{"key":"2022020121510240201_j_comp-2020-0130_ref_020","doi-asserted-by":"crossref","unstructured":"Gabbrielli M., Martini S., Programming languages: principles and paradigms, Springer-Verlag London, 2010","DOI":"10.1007\/978-1-84882-914-5"},{"key":"2022020121510240201_j_comp-2020-0130_ref_021","unstructured":"Novitzk\u00e1 V., Steingartner W., Semantics of Programming Languages, Technical University of Ko\u0161ice, Ko\u0161ice, Slovakia, 2015 (in Slovak)"},{"key":"2022020121510240201_j_comp-2020-0130_ref_022","doi-asserted-by":"crossref","unstructured":"Waite W. M., Goos G., Compiler Construction, Series: Texts and Monographs in Computer Science, Springer-Verlag, 1984, reprint 1996","DOI":"10.1007\/978-1-4612-5192-7"},{"key":"2022020121510240201_j_comp-2020-0130_ref_023","unstructured":"Slonneger K., Kurtz B. L., Formal Syntax and Semantics of Programming Langauges: A Laboratory-Based Approach, Addison-Wesley, Reading, Massachusetts, 1995"},{"key":"2022020121510240201_j_comp-2020-0130_ref_024","unstructured":"Kahn G., Natural semantics, In: Brandenburg F.J., Vidal-Naquet G., Wirsing M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol. 247, Springer, Berlin, Heidelberg"},{"key":"2022020121510240201_j_comp-2020-0130_ref_025","doi-asserted-by":"crossref","unstructured":"Ben\u010d\u00edk M., Dedera L., Natural Semantics of Battle Management Languages, In: Proceedings of the 2019 Communication and Information Technologies \u2013 KIT, (9th\u201311th October 2019, Vysok\u00e9 Tatry, Slovakia), IEEE, 2019","DOI":"10.23919\/KIT.2019.8883485"},{"key":"2022020121510240201_j_comp-2020-0130_ref_026","unstructured":"Schmidt A. D., Programming language semantics, In: Encyclopedia of Computer Science, John Wiley and Sons Ltd., Chichester, UK, 2003, 1463\u20131466"},{"key":"2022020121510240201_j_comp-2020-0130_ref_027","unstructured":"Louden K., Lambert K., Programming languages \u2013 Principles and Practice, Third edition, Cengage Learning, USA, 2011"},{"key":"2022020121510240201_j_comp-2020-0130_ref_028","unstructured":"Teplick\u00e1 K., Steingartner W., Matvija M., Innovative didactic methods in the teaching process at universities. Technical University of Ko\u0161ice, 2020, (in Slovak)."},{"key":"2022020121510240201_j_comp-2020-0130_ref_029","unstructured":"Aho A. V., Ravi S., Ulman J. D., Compilers, principles, techniques, and tools, Addison-Wesley Publishing Company, 1987"},{"key":"2022020121510240201_j_comp-2020-0130_ref_030","unstructured":"Koll\u00e1r J., Compilers, elfa s.r.o., Ko\u0161ice, Slovakia, 2010 (in Slovak)"}],"container-title":["Open Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/view\/journals\/comp\/11\/1\/article-p2.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/comp-2020-0130\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/comp-2020-0130\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T22:16:21Z","timestamp":1643753781000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/comp-2020-0130\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,17]]},"references-count":30,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2021,1,13]]},"published-print":{"date-parts":[[2021,1,1]]}},"alternative-id":["10.1515\/comp-2020-0130"],"URL":"https:\/\/doi.org\/10.1515\/comp-2020-0130","relation":{},"ISSN":["2299-1093"],"issn-type":[{"value":"2299-1093","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12,17]]}}}