{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:03:17Z","timestamp":1743094997769,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030850814"},{"type":"electronic","value":"9783030850821"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-85082-1_17","type":"book-chapter","created":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T16:16:47Z","timestamp":1628612207000},"page":"181-192","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Natural Semantics for Domain-Specific Language"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2852-9403","authenticated-orcid":false,"given":"William","family":"Steingartner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9992-3849","authenticated-orcid":false,"given":"Valerie","family":"Novitzk\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,17]]},"reference":[{"key":"17_CR1","unstructured":"Z\u00e1klady algoritmiz\u00e1cie a programovania (2021). (in Slovak). https:\/\/kurzy.kpi.fei.tuke.sk\/zap\/index.html. Accessed 18 June 2021"},{"key":"17_CR2","doi-asserted-by":"publisher","unstructured":"Ben\u010d\u00edk, M., Dedera, L.: Natural semantics of battle management languages. In: 2019 Communication and Information Technologies (KIT), pp. 1\u20134 (2019). https:\/\/doi.org\/10.23919\/KIT.2019.8883485","DOI":"10.23919\/KIT.2019.8883485"},{"key":"17_CR3","unstructured":"Blaho, A., Kala\u0161, I.: Imagine Logo. Computer Press (2006)"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.csi.2015.08.012","volume":"43","author":"M Challenger","year":"2016","unstructured":"Challenger, M., Mernik, M., Kardas, G., Kosar, T.: Declarative specifications for the development of multi-agent systems. Comput. Stand. Interfaces 43, 91\u2013115 (2016). https:\/\/doi.org\/10.1016\/j.csi.2015.08.012","journal-title":"Comput. Stand. Interfaces"},{"key":"17_CR5","doi-asserted-by":"publisher","unstructured":"Chodarev, S., Porub\u00e4n, J.: Development of custom notation for XML-based language: a model-driven approach. Comput. Sci. Inf. Syst. 14(3) (2017). https:\/\/doi.org\/10.2298\/CSIS170116036C","DOI":"10.2298\/CSIS170116036C"},{"issue":"1","key":"17_CR6","first-page":"40","volume":"5","author":"L Dedera","year":"2010","unstructured":"Dedera, L.: Domain-specific languages for command and control systems. Sci. Milit. J. 5(1), 40\u201346 (2010)","journal-title":"Sci. Milit. J."},{"key":"17_CR7","unstructured":"Freiberger, U.: Karel. Eine \u00dcbersicht \u00fcber verschiedene Entwicklungen, die auf der Idee von \u201cKarel, the Robot\u201d basieren (2002). https:\/\/docplayer.org\/3612024-Karel-eine-uebersicht-ueber-verschiedene-entwicklungen-die-auf-der-idee-von-karel-the-robot-basieren.html. Accessed 16 Mar 2021"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Gen\u010di, J., Bilanov\u00e1, Z., De\u00e1k, A., Vr\u00e1bel, M.: Project and team based teaching of system programming in the course of operating systems. In: 2017 15th International Conference on Emerging eLearning Technologies and Applications (ICETA), pp. 1\u20136 (2017)","DOI":"10.1109\/ICETA.2017.8102484"},{"key":"17_CR9","unstructured":"Gronbeck, R.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. Addison Wesley Professional (2009)"},{"key":"17_CR10","doi-asserted-by":"publisher","unstructured":"Herceg, D., Radakovi\u0107, D., Ivanovi\u0107, M., Herceg, D.: Possible improvements of modern dynamic geometry software. Comput. Tools Educ. (2), 72\u201386 (2019). https:\/\/doi.org\/10.32603\/2071-2340-2019-2-72-86. http:\/\/cte.eltech.ru\/ojs\/index.php\/kio\/article\/view\/1600","DOI":"10.32603\/2071-2340-2019-2-72-86"},{"key":"17_CR11","unstructured":"Horp\u00e1csi, D., K\u0151szegi, J.: Formal semantics (2014). https:\/\/regi.tankonyvtar.hu\/en\/tartalom\/tamop412A\/2011-0052_05_formal_semantics\/index.html. Accessed 14 Dec 2020"},{"key":"17_CR12","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-36754-0_5","volume-title":"S-BPM ONE - Running Processes","author":"KM H\u00f6ver","year":"2013","unstructured":"H\u00f6ver, K.M., Borgert, S., M\u00fchlh\u00e4user, M.: A domain specific language for describing S-BPM processes. In: Fischer, H., Schneeberger, J. (eds.) S-BPM ONE 2013. CCIS, vol. 360, pp. 72\u201390. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36754-0_5"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"STACS 87","author":"G Kahn","year":"1987","unstructured":"Kahn, G.: Natural semantics. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds.) STACS 1987. LNCS, vol. 247, pp. 22\u201339. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/BFb0039592"},{"key":"17_CR14","unstructured":"Kloboves, K., Miheli\u010d, J., Buli\u0107, P., Dobravec, T.: FPGA-based SIC\/XE processor and supporting toolchain. Int. J. Eng. Educ. (6A) (2018)"},{"key":"17_CR15","unstructured":"Koll\u00e1r, J.: Computron VM: identification of expert knowledge in virtual computer architecture development. In: CSE 2012: International Scientific Conference on Computer Science and Engineering, pp. 87\u201394 (2012)"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-319-10431-7_21","volume-title":"Software Engineering and Formal Methods","author":"\u0160 Kore\u010dko","year":"2014","unstructured":"Kore\u010dko, \u0160, Sor\u00e1d, J., Dudl\u00e1kov\u00e1, Z., Sobota, B.: A toolset for support of teaching formal software development. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 278\u2013283. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10431-7_21"},{"issue":"4","key":"17_CR17","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316\u2013344 (2005). https:\/\/doi.org\/10.1145\/1118890.1118892","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"17_CR18","doi-asserted-by":"publisher","first-page":"35","DOI":"10.15546\/aeei-2017-0032","volume":"17","author":"D Mih\u00e1lyi","year":"2017","unstructured":"Mih\u00e1lyi, D., Penia\u0161kov\u00e1, M., Perh\u00e1\u010d, J., Miheli\u010d, J.: Web-based questionnaires for type theory course. Acta Electrotech. Inf. 17(4), 35\u201342 (2017)","journal-title":"Acta Electrotech. Inf."},{"issue":"1","key":"17_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1002\/cae.21585","volume":"23","author":"J Miheli\u010d","year":"2015","unstructured":"Miheli\u010d, J., Dobravec, T.: SicSim: a simulator of the educational SIC\/XE computer for a system-software course. Comput. Appl. Eng. Educ. 23(1), 137\u2013146 (2015)","journal-title":"Comput. Appl. Eng. Educ."},{"key":"17_CR20","unstructured":"Mocinecov\u00e1, K., Steingartner, W.: Software support for visualizing of the graph algorithms in a novel approach in educating of young IT experts. Trans. Internet Res. 16(2), 14\u201323 (2020), http:\/\/ipsitransactions.org\/journals\/papers\/tir\/2020jul\/p3.pdf"},{"key":"17_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-692-6","volume-title":"Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)","author":"HR Nielson","year":"2007","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science). Springer, Berlin, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-1-84628-692-6"},{"key":"17_CR22","unstructured":"Pattis, R.: Karel The Robot: A Gentle Introduction to the Art of Programming. Wiley, Hoboken (1981)"},{"key":"17_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60\u201361","author":"G Plotkin","year":"2004","unstructured":"Plotkin, G.: The origins of structural operational semantics. J. Log. Algebraic Programm. 60\u201361, 3\u201315 (2004). https:\/\/doi.org\/10.1016\/j.jlap.2004.03.009","journal-title":"J. Log. Algebraic Programm."},{"key":"17_CR24","doi-asserted-by":"publisher","unstructured":"Raja, A., Lakshmanan, D.: Domain specific languages. Int. J. Comput. Appl. 1 (2010). https:\/\/doi.org\/10.5120\/37-640","DOI":"10.5120\/37-640"},{"key":"17_CR25","doi-asserted-by":"publisher","unstructured":"Schreiner, W., Steingartner, W., Novitzk\u00e1, V.: A novel categorical approach to the semantics of relational first-order logic. Symmetry 12(10) (2020). https:\/\/doi.org\/10.3390\/sym12101584","DOI":"10.3390\/sym12101584"},{"key":"17_CR26","doi-asserted-by":"publisher","unstructured":"Steingartner, W.: Support for online teaching of the Semantics of Programming Languages course using interactive software tools. In: 18th International Conference on Emerging eLearning Technologies and Applications (ICETA) 2020, pp. 665\u2013671 (2020). https:\/\/doi.org\/10.1109\/ICETA51985.2020.9379225","DOI":"10.1109\/ICETA51985.2020.9379225"},{"issue":"1","key":"17_CR27","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1515\/comp-2020-0130","volume":"11","author":"W Steingartner","year":"2021","unstructured":"Steingartner, W.: On some innovations in teaching the formal semantics using software tools. Open Comput. Sci. 11(1), 2\u201311 (2021). https:\/\/doi.org\/10.1515\/comp-2020-0130","journal-title":"Open Comput. Sci."},{"key":"17_CR28","doi-asserted-by":"publisher","unstructured":"Vaclavkova, M., Kvet, M., Sedlacek, P.: Graphical development environment for object programming teaching support. In: INFORMATICS 2019 - IEEE 15th International Scientific Conference on Informatics, Proceedings, pp. 77\u201382. IEEE (2019). https:\/\/doi.org\/10.1109\/Informatics47936.2019.9119284","DOI":"10.1109\/Informatics47936.2019.9119284"},{"key":"17_CR29","unstructured":"Voelter, M., et al.: DSL engineering - designing, implementing and using domain-specific languages (2013). http:\/\/dslbook.org"}],"container-title":["Communications in Computer and Information Science","New Trends in Database and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85082-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T16:46:49Z","timestamp":1710348409000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85082-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030850814","9783030850821"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85082-1_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ADBIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Advances in Databases and Information Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tartu","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"adbis2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/adbis2021.cs.ut.ee\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"70","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Workshops: submissions: 17,  papers accepted: DOING 2021: 3, SIMPDA 2021: 1, MADEISD 2021: 4, MegaData 2021: 1, CAoNS 2021: 2","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}