https://m2.mtmt.hu/ eng 2026-05-30 16:50 JournalArticle 35475053 VALIDATED true 0 false 2026-04-25T20:22:50.144+0000 2025-06-24T15:42:01.619+0000 2024-10-23T10:09:18.221+0000 true 10029580 Törley Gábor /api/author/10029580 Author Gábor Törley (Informatika tanítás) true 10029580 2025-06-24T15:38:40.753+0000 2025-06-24T15:38:40.753+0000 2025-06-24T15:42:01.747+0000 true 10013962 Vasvari Lilian /api/admin/10013962 Admin Lilian Vasvari (MTMT Központ, admin) true 10013962 true false true 24 24 /api/publicationtype/24 PublicationType Journal Article 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType Journal Article 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType Article (Journal Article) 101 true 10000059 true 1 /api/category/1 Category Scientific true 1 Horváth, Győző true true /api/journal/3029 REVIEWED LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 true false 3029 false 3029 true 0302-9743 1611-3349 Journal FOREIGN 15228 111 122 Chapter 9 111, Chapter 9 12 2025 true true 2024 true true true false false NONE 2026-04-25 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 Q2 A false false false false 2025-01-21T11:09:19.100+0000 Média- és Oktatásinformatika Tanszék (ELTE / IK) 1 4 1 1 0 false Language 10002 /api/language/10002 English Angol English true 2 true PersonAuthorship 121038151 /api/authorship/121038151 Horváth, Győző [Horváth, Győző (informatika), author] Department of Media and Educational Technology (ELTE / ELU FoI / ICS) 1 1.0 true false false Author 10032364 /api/author/10032364 Győző Horváth (informatika) Horváth Győző true 10032364 true Horváth Győző true false false AuthorshipType 1 /api/authorshiptype/1 Author 0 true 0 true false true PublicationIdentifier 27682187 /api/publicationidentifier/27682187 DOI: 10.1007/978-3-031-73474-8_9 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1007/978-3-031-73474-8_9 https://doi.org/10.1007/978-3-031-73474-8_9 false true PublicationIdentifier 27682188 /api/publicationidentifier/27682188 Other URL: https://link.springer.com/10.1007/978-3-031-73474-8_9 PlainSource 40 /api/publicationsource/40 Other URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link true true true Egyéb URL Other URL @@@ true true 40 true https://link.springer.com/10.1007/978-3-031-73474-8_9 https://link.springer.com/10.1007/978-3-031-73474-8_9 false true MtaRating 11435124 /api/mtarating/11435124 X. Section of Earth Sciences:A LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 RatingType 10031 /api/ratingtype/10031 X. Section of Earth Sciences X. FTO Institute 70 /api/institute/70 HAS Section of Earth Sciences (X.) HASSESX 0 false false false X. Földtudományok Osztálya HAS Section of Earth Sciences (X.) true 70 true true true A true true SjrRating 11569087 /api/sjrrating/11569087 sjr:Q2 (2025) Scopus - Computer Science (miscellaneous) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 155 0.49 book series RatingType 10002 /api/ratingtype/10002 sjr sjr true true ClassificationExternal 1701 /api/classificationexternal/1701 Scopus - Computer Science (miscellaneous) true 1701 true Q2 DIRECT true true Reference 59016055 /api/reference/59016055 1. Gegg-Harrison, T.S., Bunce, G.R., Ganetzky, R.D., Olson, C.M., Wilson, J.D.: Studying program correctness by constructing contracts. In: ITiCSE 2003: Proceedings of the 8th Annual Conference on Innovation and Technology in Computer Science Education (2003), DOI: 10.1145/961545.961548 1 10.1145/961545.961548 false true Reference 59016056 /api/reference/59016056 2. Todorova, M., Armyanov, P.: runtime verification of computer programs and its application in programming education. GSTF J. Math. Stat. Oper. Res. (2012) 2 false true Reference 59016057 /api/reference/59016057 3. Huisman, M., Monti, R.E.: Teaching design by contract using snap! arXiv:2107.05679v1 (2021), DOI: 10.1109/SEENG53126.2021.00007 3 10.1109/SEENG53126.2021.00007 false true Reference 59016058 /api/reference/59016058 4. Fóthi, Á.: Bevezetés a programozáshoz, ELTE Eötvös Kiadó (2005) (Introduction to programming, in Hungarian) 4 false true Reference 59016059 /api/reference/59016059 5. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Upper Saddle River (1976) 5 false true Reference 59016060 /api/reference/59016060 6. Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica 1(4), 271–281 (1972), DOI: 10.1007/BF00289507 6 10.1007/BF00289507 false true Reference 59016061 /api/reference/59016061 7. Gregorics, T., Sike S.: Generic algorithm patterns. In: Proceedings of Formal Methods in Computer Science Education (2008) 7 false true Reference 59016062 /api/reference/59016062 8. Szlávi, P., Zsakó, L., Törley, G.: Programming theorems have the same origin. Central-Eur. J. New Technol. Res. Educ. Pract. 1(1), 1–12 (2019), DOI: 10.37441/CEJER/2019/1/1/3340 8 10.37441/CEJER/2019/1/1/3340 false true Reference 59016063 /api/reference/59016063 9. Szlávi, P., Zsakó, L.: Módszeres programozás: Programozási bevezető. \upmu lógia 18, 8th, revised edition (2004). (Systematic programming: Introduction to programming, in Hungarian) 9 false true Reference 59016064 /api/reference/59016064 10. Szlávi, P., Zsakó, L.: Módszeres programozás: Programozási tételek. \upmu lógia 19, 6th, revised edition (2004). (Systematic programming: Programming patterns, in Hungarian) 10 false true Reference 59016065 /api/reference/59016065 11. Gregorics, T.: Abstract levels of programming theorems. Acta Universitatis Sapientiae Informatica 4(2), 247–259 (2012) 11 false true Reference 59016066 /api/reference/59016066 12. The Specification Tool. https://progalap.elte.hu/specifikacio/. Accessed 31 May 2024 12 false true Reference 59016067 /api/reference/59016067 13. Bryan, F.: Parsing expression grammars: a recognition-based syntactic foundation. ACM SIGPLAN Not. 39(1) (2004), DOI: 10.1145/982962.964011 13 10.1145/982962.964011 false true /api/publication/35475053 Horváth Győző. Teaching Task Specification Efficiently in Introductory Programming Courses in Higher Education. (2025) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 15228 111-122<div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10032364"><a href="/gui2/?type=authors&mode=browse&sel=10032364" target="_blank">Horváth Győző (<span class="authorship-author-name">Horváth Győző</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Eötvös Loránd University">ELTE</span>/<span title="Faculty of Informatics">ELU FoI</span>/<span title="Institute of Computer Science">ICS</span>/Department of Media and Educational Technology</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;35475053" target="_blank">Teaching Task Specification Efficiently in Introductory Programming Courses in Higher Education</a></div> <div> <span class="journal-title">LECTURE NOTES IN COMPUTER SCIENCE</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0302-9743">0302-9743</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1611-3349">1611-3349</a>)</span>: <span class="journal-volume">15228</span> <span class="page"> pp 111-122 Paper Chapter 9. </span> <span class="year">(2025)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Language: English | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1007/978-3-031-73474-8_9" target="_blank" href="https://doi.org/10.1007/978-3-031-73474-8_9"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/978-3-031-73474-8_9" target="_blank" href="https://link.springer.com/10.1007/978-3-031-73474-8_9"> Other URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Journal subject: Scopus - Computer Science (miscellaneous)&nbsp;&nbsp;&nbsp;Rank:&nbsp;Q2</div> <div class="journal-subject">Journal subject: Scopus - Theoretical Computer Science&nbsp;&nbsp;&nbsp;Rank:&nbsp;Q3</div> <div class="journal-subject">HAS Section of Earth Sciences (X.) HASSESX&nbsp;&nbsp;&nbsp;A</div> </div></OnlyViewableByAuthor> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;35475053&sort=publishedYear,desc&sort=title"> Number of cited publications: 1 </a> </div> <div class="mtid"><span class="long-pub-mtid">Publication: 35475053</span> | <span class="status-data status-VALIDATED"> Validated </span> Core Citing | <span class="type-subtype">Journal Article ( Article ) </span> | <span class="pub-category">Scientific</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Last Modified: 2025.06.24. 17:42 Lilian Vasvari (MTMT Központ, admin) </div> </div></div>