{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:49Z","timestamp":1750220089537,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:00:00Z","timestamp":1657152000000},"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":[[2022,7,7]]},"DOI":"10.1145\/3502718.3524798","type":"proceedings-article","created":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T10:28:30Z","timestamp":1657189710000},"page":"269-275","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Lifecycle in CS1"],"prefix":"10.1145","author":[{"given":"Aamod","family":"Sane","sequence":"first","affiliation":[{"name":"FLAME University, Pune, India"}]},{"given":"Rustom","family":"Mody","sequence":"additional","affiliation":[{"name":"Magus Inc., Pune, India"}]},{"given":"Anuradha","family":"Laxminarayan","sequence":"additional","affiliation":[{"name":"FLAME University, Pune, India"}]},{"given":"Jayaraman","family":"VK","sequence":"additional","affiliation":[{"name":"FLAME University, Pune, India"}]}],"member":"320","published-online":{"date-parts":[[2022,7,7]]},"reference":[{"volume-title":"Reflections on the Teaching of Programming","author":"Bennedsen Jens","key":"e_1_3_2_1_1_1","unstructured":"Jens Bennedsen and Michael Caspersen . 2008. Model-driven programming . In Reflections on the Teaching of Programming . Springer , 116--129. Jens Bennedsen and Michael Caspersen. 2008. Model-driven programming. In Reflections on the Teaching of Programming. Springer, 116--129."},{"volume-title":"An introduction to functional programming","author":"Bird Richard","key":"e_1_3_2_1_2_1","unstructured":"Richard Bird and Philip Wadler . 1988. An introduction to functional programming . Prentice Hall International (UK) Ltd . Richard Bird and Philip Wadler. 1988. An introduction to functional programming .Prentice Hall International (UK) Ltd."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/181550.181564"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004805"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462476.2462480"},{"key":"e_1_3_2_1_7_1","unstructured":"Noam Chomsky. 2009. Syntactic structures .De Gruyter Mouton.  Noam Chomsky. 2009. Syntactic structures .De Gruyter Mouton."},{"volume-title":"From Linear Operators to Computational Biology","author":"Dewar Robert","key":"e_1_3_2_1_8_1","unstructured":"Robert Dewar . 2013. SETL and the Evolution of Programming . In From Linear Operators to Computational Biology . Springer , 39--46. Robert Dewar. 2013. SETL and the Evolution of Programming. In From Linear Operators to Computational Biology. Springer, 39--46."},{"key":"e_1_3_2_1_9_1","volume-title":"The notational conventions I adopted, and why. (July","author":"Dijkstra E. W.","year":"2000","unstructured":"E. W. Dijkstra . 2000. The notational conventions I adopted, and why. (July 2000 ). http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd13xx\/EWD1300.PDF E. W. Dijkstra. 2000. The notational conventions I adopted, and why. (July 2000). http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd13xx\/EWD1300.PDF"},{"key":"e_1_3_2_1_10_1","unstructured":"Allen Downey. 2012. Think Python .O'Reilly Media Inc.  Allen Downey. 2012. Think Python .O'Reilly Media Inc."},{"volume-title":"the Catalysis approach","author":"D'Souza Desmond F","key":"e_1_3_2_1_11_1","unstructured":"Desmond F D'Souza and Alan Cameron Wills . 1998. Objects, Components, and Frameworks with UML : the Catalysis approach . Addison-Wesley . Desmond F D'Souza and Alan Cameron Wills. 1998. Objects, Components, and Frameworks with UML: the Catalysis approach .Addison-Wesley."},{"key":"e_1_3_2_1_12_1","volume-title":"Matthew Flatt, and Shriram Krishnamurthi.","author":"Felleisen Matthias","year":"2018","unstructured":"Matthias Felleisen , Robert Bruce Findler , Matthew Flatt, and Shriram Krishnamurthi. 2018 . How to design programs: an introduction to programming and computing .MIT Press . Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. 2018. How to design programs: an introduction to programming and computing .MIT Press."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161278"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/191029.191129"},{"key":"e_1_3_2_1_15_1","unstructured":"Albert Gr\"af. 2011. Pure Language and Library Documentation. (2011). https:\/\/github.com\/agraef\/pure-lang  Albert Gr\"af. 2011. Pure Language and Library Documentation. (2011). https:\/\/github.com\/agraef\/pure-lang"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90015-1"},{"volume-title":"The science of programming","author":"Gries David","key":"e_1_3_2_1_17_1","unstructured":"David Gries . 2012. The science of programming . Springer Science & Business Media . David Gries. 2012. The science of programming .Springer Science & Business Media."},{"volume-title":"Reflections on the Teaching of Programming","author":"Hansen Michael R","key":"e_1_3_2_1_18_1","unstructured":"Michael R Hansen and Jens Thyge Kristensen . 2008. Experiences with functional programming in an introductory curriculum . In Reflections on the Teaching of Programming . Springer , 30--46. Michael R Hansen and Jens Thyge Kristensen. 2008. Experiences with functional programming in an introductory curriculum. In Reflections on the Teaching of Programming. Springer, 30--46."},{"volume-title":"A practical theory of programming","author":"Hehner Eric CR","key":"e_1_3_2_1_19_1","unstructured":"Eric CR Hehner . 2012. A practical theory of programming . Springer Science & Business Media . Eric CR Hehner. 2012. A practical theory of programming .Springer Science & Business Media."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/357153.357158"},{"key":"e_1_3_2_1_21_1","volume-title":"Domain-specific languages. Handbook of programming languages","author":"Hudak Paul","year":"1997","unstructured":"Paul Hudak . 1997. Domain-specific languages. Handbook of programming languages , Vol. 3 , 39--60 ( 1997 ), 21. Paul Hudak. 1997. Domain-specific languages. Handbook of programming languages , Vol. 3, 39--60 (1997), 21."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480828.1480845"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000599"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110170.2110185"},{"key":"e_1_3_2_1_25_1","unstructured":"Sam Kamin. 1998. An implementation-oriented semantics of Wadler's pretty-printing combinators. (1998). https:\/\/www.researchgate.net\/publication\/2721546  Sam Kamin. 1998. An implementation-oriented semantics of Wadler's pretty-printing combinators. (1998). https:\/\/www.researchgate.net\/publication\/2721546"},{"key":"e_1_3_2_1_26_1","volume-title":"DSL'97","author":"Kamin Samuel N","year":"1997","unstructured":"Samuel N Kamin and David Hyatt . 1997 . A Special-Purpose Language for Picture-Drawing . In DSL'97 . Usenix, 23--33. Samuel N Kamin and David Hyatt. 1997. A Special-Purpose Language for Picture-Drawing. In DSL'97. Usenix, 23--33."},{"key":"e_1_3_2_1_27_1","volume-title":"Stepwise Improvement of Models. In International Conference on Computer Science Education Innovation & Technology (CSEIT). Proceedings. Global Science and Technology Forum, 81","author":"Kristensen Bent Bruun","year":"2016","unstructured":"Bent Bruun Kristensen , Palle Nowack , and Michael Caspersen . 2016 . \u201c To Program is To Model\u201d: Software Development is Stepwise Improvement of Models. In International Conference on Computer Science Education Innovation & Technology (CSEIT). Proceedings. Global Science and Technology Forum, 81 . Bent Bruun Kristensen, Palle Nowack, and Michael Caspersen. 2016. \u201cTo Program is To Model\u201d: Software Development is Stepwise Improvement of Models. In International Conference on Computer Science Education Innovation & Technology (CSEIT). Proceedings. Global Science and Technology Forum, 81."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/829500.829930"},{"key":"e_1_3_2_1_29_1","unstructured":"Rustom Mody. 1995. Haskell to Pug: Motivations and Syntax. (1995). http:\/\/github.com\/rusimody\/pugofer\/tree\/master\/techreports\/pug-a-teachers-haskell.pdf  Rustom Mody. 1995. Haskell to Pug: Motivations and Syntax. (1995). http:\/\/github.com\/rusimody\/pugofer\/tree\/master\/techreports\/pug-a-teachers-haskell.pdf"},{"key":"e_1_3_2_1_30_1","unstructured":"Rustom Mody. 2004. A Thought Dialogue with Edsger Dijkstra. (2004). http:\/\/github.com\/rusimody\/pugofer\/tree\/master\/techreports\/ewd-dot-dialogue.pdf  Rustom Mody. 2004. A Thought Dialogue with Edsger Dijkstra. (2004). http:\/\/github.com\/rusimody\/pugofer\/tree\/master\/techreports\/ewd-dot-dialogue.pdf"},{"key":"e_1_3_2_1_31_1","unstructured":"Rustom Mody. 2013. Applying SI on SICP. (2013). http:\/\/blog.languager.org\/2013\/08\/applying-si-on-sicp.html  Rustom Mody. 2013. Applying SI on SICP. (2013). http:\/\/blog.languager.org\/2013\/08\/applying-si-on-sicp.html"},{"key":"e_1_3_2_1_32_1","volume-title":"Pugofer: A Platonic Universe that is Good For Equational Reasoning.","author":"Mody Rustom","year":"2014","unstructured":"Rustom Mody . 2014 . Pugofer: A Platonic Universe that is Good For Equational Reasoning. (2014). http:\/\/blog.languager.org\/2014\/09\/pugofer.html Rustom Mody. 2014. Pugofer: A Platonic Universe that is Good For Equational Reasoning. (2014). http:\/\/blog.languager.org\/2014\/09\/pugofer.html"},{"key":"e_1_3_2_1_33_1","unstructured":"Rustom Mody and Anuradha Laxminarayan. 2012. Doting On the Dot. (2012). http:\/\/github.com\/rusimody\/pugofer\/tree\/master\/techreports\/doting-on-the-dot.pdf  Rustom Mody and Anuradha Laxminarayan. 2012. Doting On the Dot. (2012). http:\/\/github.com\/rusimody\/pugofer\/tree\/master\/techreports\/doting-on-the-dot.pdf"},{"volume-title":"Equations, Models, and Programs: A Mathematical Introduction to Computer Science","author":"Myers Thomas J","key":"e_1_3_2_1_34_1","unstructured":"Thomas J Myers . 1988. Equations, Models, and Programs: A Mathematical Introduction to Computer Science . Prentice Hall . Thomas J Myers. 1988. Equations, Models, and Programs: A Mathematical Introduction to Computer Science .Prentice Hall."},{"key":"e_1_3_2_1_35_1","volume-title":"Programming as theory building. Microprocessing and microprogramming","author":"Naur Peter","year":"1985","unstructured":"Peter Naur . 1985. Programming as theory building. Microprocessing and microprogramming , Vol. 15 , 5 ( 1985 ), 253--261. Peter Naur. 1985. Programming as theory building. Microprocessing and microprogramming , Vol. 15, 5 (1985), 253--261."},{"key":"e_1_3_2_1_36_1","first-page":"69","article-title":"Equational logic programming","volume":"5","author":"O'Donnell Michael J","year":"1998","unstructured":"Michael J O'Donnell . 1998 . Equational logic programming . Handbook of Logic in Artificial Intelligence and Logic Programming , Vol. 5 (1998), 69 -- 161 . Michael J O'Donnell. 1998. Equational logic programming. Handbook of Logic in Artificial Intelligence and Logic Programming , Vol. 5 (1998), 69--161.","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming"},{"key":"e_1_3_2_1_37_1","unstructured":"Rex Page. 1997. Selling Haskell for CS1 in the USA. (1997). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.39.5278&rep=rep1&type=pdf  Rex Page. 1997. Selling Haskell for CS1 in the USA. (1997). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.39.5278&rep=rep1&type=pdf"},{"key":"e_1_3_2_1_38_1","volume-title":"Mathematical discovery","author":"Polya George","year":"1962","unstructured":"George Polya . 1962. Mathematical discovery , 1962 combined ed.). John Wiley & Sons , Chapter 2, 59. George Polya. 1962. Mathematical discovery, 1962 combined ed.). John Wiley & Sons, Chapter 2, 59."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628137"},{"volume-title":"Proceeding of the 44th ACM technical symposium on Computer science education. ACM, 693--698.","author":"Razak Saquib","key":"e_1_3_2_1_40_1","unstructured":"Saquib Razak . 2013. A case for course capstone projects in CS1 . In Proceeding of the 44th ACM technical symposium on Computer science education. ACM, 693--698. Saquib Razak. 2013. A case for course capstone projects in CS1. In Proceeding of the 44th ACM technical symposium on Computer science education. ACM, 693--698."},{"key":"e_1_3_2_1_41_1","volume-title":"14th ACM Compute India Conference . https:\/\/event.india.acm.org\/Compute\/2021\/","author":"Sane Aamod","year":"2021","unstructured":"Aamod Sane , Jayaraman VK , Anuradha Laxminarayan , Prateek Shah , and Kaushik Gopalan . 2021 . Computer Science for the Smartphone Generation (Extended Abstract) . In 14th ACM Compute India Conference . https:\/\/event.india.acm.org\/Compute\/2021\/ Aamod Sane, Jayaraman VK, Anuradha Laxminarayan, Prateek Shah, and Kaushik Gopalan. 2021. Computer Science for the Smartphone Generation (Extended Abstract). In 14th ACM Compute India Conference . https:\/\/event.india.acm.org\/Compute\/2021\/"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3366932"},{"key":"e_1_3_2_1_43_1","volume-title":"Edward Dubinsky, and Edith Schonberg.","author":"Schwartz Jacob T","year":"2012","unstructured":"Jacob T Schwartz , Robert BK Dewar , Edward Dubinsky, and Edith Schonberg. 2012 . Programming with sets: An introduction to SETL .Springer Science & Business Media . Jacob T Schwartz, Robert BK Dewar, Edward Dubinsky, and Edith Schonberg. 2012. Programming with sets: An introduction to SETL .Springer Science & Business Media."},{"volume-title":"Introduction to programming in Java: an interdisciplinary approach","author":"Sedgewick Robert","key":"e_1_3_2_1_44_1","unstructured":"Robert Sedgewick and Kevin Wayne . 2017. Introduction to programming in Java: an interdisciplinary approach . Addison-Wesley Professional . Robert Sedgewick and Kevin Wayne. 2017. Introduction to programming in Java: an interdisciplinary approach .Addison-Wesley Professional."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/321160.321170"},{"key":"e_1_3_2_1_46_1","volume-title":"What do novices know about programming. Directions in Human-Computer Interaction","author":"Soloway Elliot","year":"1984","unstructured":"Elliot Soloway . 1984. What do novices know about programming. Directions in Human-Computer Interaction ( 1984 ). Elliot Soloway. 1984. What do novices know about programming. Directions in Human-Computer Interaction (1984)."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2016.7757595"},{"volume-title":"Haskell: the craft of functional programming","author":"Thompson Simon","key":"e_1_3_2_1_48_1","unstructured":"Simon Thompson . 2011. Haskell: the craft of functional programming . Addison-Wesley Publishing Company . Simon Thompson. 2011. Haskell: the craft of functional programming .Addison-Wesley Publishing Company."},{"key":"e_1_3_2_1_49_1","series-title":"Series A, Mathematical and Physical Sciences","volume-title":"Functional programs as executable specifications. Philosophical Transactions of the Royal Society of London","author":"Turner David A","year":"1984","unstructured":"David A Turner . 1984. Functional programs as executable specifications. Philosophical Transactions of the Royal Society of London . Series A, Mathematical and Physical Sciences , Vol. 312 , 1522 ( 1984 ), 363--388. David A Turner. 1984. Functional programs as executable specifications. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences , Vol. 312, 1522 (1984), 363--388."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/792548.611908"},{"key":"e_1_3_2_1_51_1","first-page":"63","article-title":"The role of programming paradigms in the first programming courses","volume":"11","author":"Janicic Milena Vujovs","year":"2008","unstructured":"Milena Vujovs evic- Janicic and Duvs an Tovs ic. 2008 . The role of programming paradigms in the first programming courses . The Teaching of Mathematics , Vol. 11 , 2 (2008), 63 -- 83 . Milena Vujovs evic-Janicic and Duvs an Tovs ic. 2008. The role of programming paradigms in the first programming courses. The Teaching of Mathematics , Vol. 11, 2 (2008), 63--83.","journal-title":"The Teaching of Mathematics"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/24697.24706"},{"volume-title":"Object design: roles, responsibilities, and collaborations","author":"Wirfs-Brock Rebecca","key":"e_1_3_2_1_53_1","unstructured":"Rebecca Wirfs-Brock and Alan McKean . 2003. Object design: roles, responsibilities, and collaborations . Addison-Wesley Professional . Rebecca Wirfs-Brock and Alan McKean. 2003. Object design: roles, responsibilities, and collaborations .Addison-Wesley Professional."}],"event":{"name":"ITiCSE 2022: Innovation and Technology in Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Dublin Ireland","acronym":"ITiCSE 2022"},"container-title":["Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524798","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3502718.3524798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:47Z","timestamp":1750183787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524798"}},"subtitle":["Requirements, Domain Analysis, and Implementation"],"short-title":[],"issued":{"date-parts":[[2022,7,7]]},"references-count":53,"alternative-id":["10.1145\/3502718.3524798","10.1145\/3502718"],"URL":"https:\/\/doi.org\/10.1145\/3502718.3524798","relation":{},"subject":[],"published":{"date-parts":[[2022,7,7]]},"assertion":[{"value":"2022-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}