{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:17Z","timestamp":1750308737150,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T00:00:00Z","timestamp":1384128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,11,11]]},"DOI":"10.1145\/2532748.2532762","type":"proceedings-article","created":{"date-parts":[[2014,5,2]],"date-time":"2014-05-02T14:01:31Z","timestamp":1399039291000},"page":"71-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["On teaching programming with nondeterminism"],"prefix":"10.1145","author":[{"given":"Giora","family":"Alexandron","sequence":"first","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}]},{"given":"Michal","family":"Armoni","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}]},{"given":"Michal","family":"Gordon","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}]}],"member":"320","published-online":{"date-parts":[[2013,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Longman","author":"Anderson L.","year":"2001","unstructured":"L. Anderson , D. Krathwohl , and B. Bloom . A Taxonomy for Learning, Teaching, and Assessing: a Revision of Bloom's Taxonomy of Educational Objectives . Longman , 2001 . L. Anderson, D. Krathwohl, and B. Bloom. A Taxonomy for Learning, Teaching, and Assessing: a Revision of Bloom's Taxonomy of Educational Objectives. Longman, 2001."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595453.1595495"},{"issue":"4","key":"e_1_3_2_1_3_1","first-page":"325","article-title":"Introducing nondeterminism","volume":"25","author":"Armoni M.","year":"2006","unstructured":"M. Armoni and J. Gal-Ezer . Introducing nondeterminism . Journal of Computers in Mathematics and Science Teaching , 25 ( 4 ): 325 -- 359 , October 2006 . M. Armoni and J. Gal-Ezer. Introducing nondeterminism. Journal of Computers in Mathematics and Science Teaching, 25(4):325--359, October 2006.","journal-title":"Journal of Computers in Mathematics and Science Teaching"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1080\/08993400701442885"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352322.1352141"},{"key":"e_1_3_2_1_6_1","volume-title":"Evaluating the Quality of Learning: The SOLO Taxonomy (Structure of the Observed Learning Outcome)","author":"Biggs J. B.","year":"1982","unstructured":"J. B. Biggs and K. F. Collis . Evaluating the Quality of Learning: The SOLO Taxonomy (Structure of the Observed Learning Outcome) . Academic Press , 1982 . J. B. Biggs and K. F. Collis. Evaluating the Quality of Learning: The SOLO Taxonomy (Structure of the Observed Learning Outcome). Academic Press, 1982."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_9_1","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","year":"1976","unstructured":"E. W. Dijkstra . A Discipline of Programming . Prentice-Hall , Englewood Cliffs, NJ, USA , 1976 . E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, NJ, USA, 1976."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.467599"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-46428-X_3","volume-title":"Fundamental Approaches to Software Engineering","author":"Harel D.","year":"2000","unstructured":"D. Harel . From Play-In Scenarios to Code: An Achievable Dream . In T. Maibaum, editor, Fundamental Approaches to Software Engineering , volume 1783 of Lecture Notes in Computer Science , pages 22 -- 34 . Springer Berlin\/Heidelberg , 2000 . D. Harel. From Play-In Scenarios to Code: An Achievable Dream. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, volume 1783 of Lecture Notes in Computer Science, pages 22--34. Springer Berlin\/Heidelberg, 2000."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Come , Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 2003 . D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2003."},{"key":"e_1_3_2_1_13_1","volume-title":"Specifying and executing behavioral requirements: the play-in\/play-out approach. Software and Systems Modeling (SoSyM), 2(2):82--107","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Specifying and executing behavioral requirements: the play-in\/play-out approach. Software and Systems Modeling (SoSyM), 2(2):82--107 , 2003 . D. Harel and R. Marelly. Specifying and executing behavioral requirements: the play-in\/play-out approach. Software and Systems Modeling (SoSyM), 2(2):82--107, 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"Ablex","author":"Harel I. E.","year":"1991","unstructured":"I. E. Harel and S. E. Papert . Constructionism . Ablex , Westport, CT, USA , 1991 . I. E. Harel and S. E. Papert. Constructionism. Ablex, Westport, CT, USA, 1991."},{"volume-title":"Computing Curricula 2001: Computer Science","author":"ACM.","key":"e_1_3_2_1_15_1","unstructured":"IEEE\/ ACM. Computing Curricula 2001: Computer Science Volume -- Final Report, 2001 . IEEE\/ACM. Computing Curricula 2001: Computer Science Volume -- Final Report, 2001."},{"key":"e_1_3_2_1_16_1","volume-title":"Computer Science Curricula 2013 (Ironman Draft)","author":"ACM.","year":"2013","unstructured":"IEEE\/ ACM. Computer Science Curricula 2013 (Ironman Draft) , 2013 . IEEE\/ACM. Computer Science Curricula 2013 (Ironman Draft), 2013."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2003.10.005"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1839594.1839607"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.32.0114"},{"key":"e_1_3_2_1_20_1","first-page":"274","article-title":"Fundamental Ideas of Computer Science","volume":"53","author":"Schwill A.","year":"1994","unstructured":"A. Schwill . Fundamental Ideas of Computer Science . Bull. European Assoc. for Theoretical Computer Science , 53 : 274 -- 295 , 1994 . A. Schwill. Fundamental Ideas of Computer Science. Bull. European Assoc. for Theoretical Computer Science, 53:274--295, 1994.","journal-title":"Bull. European Assoc. for Theoretical Computer Science"}],"event":{"name":"WiPSCE '13: Workshop in Primary and Secondary Computing Education","sponsor":["Aarhus University Aarhus University","GI Gesellschaft f\u00fcr Informatik e.V."],"location":"Aarhus Denmark","acronym":"WiPSCE '13"},"container-title":["Proceedings of the 8th Workshop in Primary and Secondary Computing Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2532748.2532762","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2532748.2532762","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:06Z","timestamp":1750278126000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2532748.2532762"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,11]]},"references-count":20,"alternative-id":["10.1145\/2532748.2532762","10.1145\/2532748"],"URL":"https:\/\/doi.org\/10.1145\/2532748.2532762","relation":{},"subject":[],"published":{"date-parts":[[2013,11,11]]},"assertion":[{"value":"2013-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}