{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:48:13Z","timestamp":1761979693238,"version":"build-2065373602"},"reference-count":56,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2014,8,1]],"date-time":"2014-08-01T00:00:00Z","timestamp":1406851200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T00:00:00Z","timestamp":1533081600000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1016\/j.scico.2014.02.021","type":"journal-article","created":{"date-parts":[[2014,3,5]],"date-time":"2014-03-05T00:00:27Z","timestamp":1393977627000},"page":"110-129","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":27,"special_numbering":"C","title":["Feedback services for stepwise exercises"],"prefix":"10.1016","volume":"88","author":[{"given":"Bastiaan","family":"Heeren","sequence":"first","affiliation":[]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2014.02.021_br0010","first-page":"183","article-title":"Deploying intelligent tutors on the web: An architecture and an example","volume":"10","author":"Alpert","year":"1999","journal-title":"Int. J. Artif. Intell. Educ."},{"issue":"2","key":"10.1016\/j.scico.2014.02.021_br0020","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1207\/s15327809jls0402_2","article-title":"Cognitive tutors: lessons learned","volume":"4","author":"Anderson","year":"1995","journal-title":"J. Learn. Sci."},{"key":"10.1016\/j.scico.2014.02.021_br0030","first-page":"65","article-title":"A computerized environment for learning algebra, trigonometry, and calculus","volume":"1","author":"Beeson","year":"1990","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"10.1016\/j.scico.2014.02.021_br0040","series-title":"Computer\u2013Human Interaction in Symbolic Computation","first-page":"89","article-title":"Design principles of MathPert: Software to support education in algebra and calculus","author":"Beeson","year":"1998"},{"year":"2011","author":"Bokhove","series-title":"Use of ICT for acquiring, practicing and assessing algebraic expertise","key":"10.1016\/j.scico.2014.02.021_br0050"},{"key":"10.1016\/j.scico.2014.02.021_br0060","series-title":"Intelligent Computer Mathematics","first-page":"75","article-title":"A comparison of equality in computer algebra and correctness in mathematical pedagogy","volume":"vol. 5625","author":"Bradford","year":"2009"},{"issue":"1","key":"10.1016\/j.scico.2014.02.021_br0070","article-title":"The construction and application of student models in intelligent tutoring systems","volume":"32","author":"Brusilovsky","year":"1994","journal-title":"J. Comput. Syst. Sci. Int."},{"key":"10.1016\/j.scico.2014.02.021_br0080","series-title":"Proceedings of AI-ED '95: The World Conference on Artificial Intelligence in Education","first-page":"1","article-title":"Intelligent learning environments for programming: The case for integration and adaption","author":"Brusilovsky","year":"1995"},{"key":"10.1016\/j.scico.2014.02.021_br0090","series-title":"Proceedings of ITS '00: The 5th International Conference on Intelligent Tutoring Systems","first-page":"1","article-title":"Adaptive hypermedia: From intelligent tutoring systems to web-based education","author":"Brusilovsky","year":"2000"},{"issue":"2\u20134","key":"10.1016\/j.scico.2014.02.021_br0100","first-page":"159","article-title":"Adaptive and intelligent web-based educational systems","volume":"13","author":"Brusilovsky","year":"2003","journal-title":"Int. J. Artif. Intell. Educ."},{"year":"1999","series-title":"The OpenMath Standard","key":"10.1016\/j.scico.2014.02.021_br0110"},{"key":"10.1016\/j.scico.2014.02.021_br0120","series-title":"Multimedia Tools for Communicating Mathematics","first-page":"51","article-title":"OpenMath technology for interactive mathematical documents","author":"Caprotti","year":"2002"},{"key":"10.1016\/j.scico.2014.02.021_br0130","series-title":"ICME 10: 10th International Congress on Mathematical Education","article-title":"APLUSIX, a learning environment for algebra, actual use and benefits","author":"Chaachoua","year":"2004"},{"key":"10.1016\/j.scico.2014.02.021_br0140","series-title":"Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15\u201317, 2005, Revised Selected Papers","first-page":"330","article-title":"Interactive learning and mathematical calculus","volume":"vol. 3863","author":"Cohen","year":"2005"},{"key":"10.1016\/j.scico.2014.02.021_br0150","series-title":"Algebra, Geometry and Software Systems","first-page":"289","article-title":"Interactive mathematical documents on the web","author":"Cohen","year":"2003"},{"year":"2013","author":"European Commission","key":"10.1016\/j.scico.2014.02.021_br0160"},{"key":"10.1016\/j.scico.2014.02.021_br0170","series-title":"Handbook of Human\u2013Computer Interaction","first-page":"849","article-title":"Intelligent tutoring systems","author":"Corbett","year":"1997"},{"key":"10.1016\/j.scico.2014.02.021_br0180","series-title":"e-Proceedings of the 6th JEM Workshop","first-page":"1","article-title":"MESS: the MathDox exercise system","author":"Cuypers","year":"2009"},{"key":"10.1016\/j.scico.2014.02.021_br0190","series-title":"Earli 2009 SIG20 Invited Symposium Issues in Designing and Implementing Computer Supported Inquiry Learning Environments","article-title":"Design and implementation of a computer supported learning environment for mathematics","author":"Doorman","year":"2009"},{"year":"2000","author":"Fielding","series-title":"Architectural styles and the design of network-based software architectures","key":"10.1016\/j.scico.2014.02.021_br0200"},{"issue":"2","key":"10.1016\/j.scico.2014.02.021_br0210","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/514183.514185","article-title":"Principled design of the modern web architecture","volume":"2","author":"Fielding","year":"2002","journal-title":"ACM Trans. Internet Technol."},{"key":"10.1016\/j.scico.2014.02.021_br0220","series-title":"ECEL","first-page":"402","article-title":"Feedback services for exercise assistants","author":"Gerdes","year":"2008"},{"key":"10.1016\/j.scico.2014.02.021_br0230","series-title":"Proceedings of ITICSE 2012: The 17th Annual Conference on Innovation and Technology in Computer Science Education","first-page":"250","article-title":"An interactive functional programming tutor","author":"Gerdes","year":"2012"},{"key":"10.1016\/j.scico.2014.02.021_br0240","series-title":"Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6\u201312, 2009, Proceedings","first-page":"294","article-title":"Representation for interactive exercises","volume":"vol. 5625","author":"Goguadze","year":"2009"},{"year":"2011","author":"Goguadze","series-title":"ActiveMath \u2013 generation and reuse of interactive exercises using domain reasoners and automated tutorial strategies","key":"10.1016\/j.scico.2014.02.021_br0250"},{"key":"10.1016\/j.scico.2014.02.021_br0260","series-title":"Proceedings of the 2009 Conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling","first-page":"668","article-title":"Combining evaluative and generative diagnosis in ActiveMath","author":"Goguadze","year":"2009"},{"key":"10.1016\/j.scico.2014.02.021_br0270","series-title":"Proceedings of the ICL2005 Workshop, at International Conference on Interactive Computer Aided Learning ICL","article-title":"Mathcoach and Laplacescript: Advanced exercise programming for mathematics with dynamic help generation","author":"Grabowski","year":"2005"},{"key":"10.1016\/j.scico.2014.02.021_br0280","series-title":"Proceedings GAS 2013: The 3rd International Workshop on Games and Software Engineering","first-page":"8","article-title":"A DSL for describing the artificial intelligence in real-time video games","author":"Hastjarjanto","year":"2013"},{"key":"10.1016\/j.scico.2014.02.021_br0290","series-title":"Proceedings of MKM 2010: The 9th International Conference on Mathematical Knowledge Management","first-page":"315","article-title":"Adapting mathematical domain reasoners","volume":"vol. 6167","author":"Heeren","year":"2010"},{"key":"10.1016\/j.scico.2014.02.021_br0300","series-title":"Proceedings of MKM 2011: The 10th International Conference on Mathematical Knowledge Management","first-page":"196","article-title":"Interleaving strategies","volume":"vol. 6824","author":"Heeren","year":"2011"},{"issue":"3","key":"10.1016\/j.scico.2014.02.021_br0310","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s11786-010-0027-4","article-title":"Specifying rewrite strategies for interactive exercises","volume":"3","author":"Heeren","year":"2010","journal-title":"Math. Comput. Sci."},{"key":"10.1016\/j.scico.2014.02.021_br0320","series-title":"Proceedings of MKM 2008: The 7th International Conference on Mathematical Knowledge Management","first-page":"430","article-title":"Specifying strategies for exercises","volume":"vol. 5144","author":"Heeren","year":"2008"},{"issue":"4es","key":"10.1016\/j.scico.2014.02.021_br0330","doi-asserted-by":"crossref","DOI":"10.1145\/242224.242477","article-title":"Building domain-specific embedded languages","volume":"28","author":"Hudak","year":"1996","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"10.1016\/j.scico.2014.02.021_br0340","first-page":"117","article-title":"A comparison of model-tracing and constraint-based intelligent tutoring paradigms","volume":"15","author":"Kodaganallur","year":"2005","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"10.1016\/j.scico.2014.02.021_br0350","series-title":"Tools for Teaching Logic","first-page":"154","article-title":"A teaching tool for proving equivalences between logical formulae","volume":"vol. 6680","author":"Lodder","year":"2011"},{"key":"10.1016\/j.scico.2014.02.021_br0360","series-title":"Proceedings of the Second International Congress on Tools for Teaching Logic","article-title":"An interactive tool for manipulating logical formulae","author":"Lodder","year":"2006"},{"key":"10.1016\/j.scico.2014.02.021_br0370","series-title":"International Conference on Computer Science and Software Engineering, vol. 5","first-page":"553","article-title":"Using IDEAS in teaching logic, lessons learned","author":"Lodder","year":"2008"},{"key":"10.1016\/j.scico.2014.02.021_br0380","series-title":"ICAISC","first-page":"91","article-title":"ActiveMath: An intelligent tutoring system for mathematics","volume":"vol. 3070","author":"Melis","year":"2004"},{"key":"10.1016\/j.scico.2014.02.021_br0390","series-title":"Advances in Object-Oriented Software Engineering","first-page":"1","article-title":"Design by contract","author":"Meyer","year":"1991"},{"issue":"4","key":"10.1016\/j.scico.2014.02.021_br0400","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MIS.2007.74","article-title":"Intelligent tutors for all: The constraint-based approach","volume":"22","author":"Mitrovic","year":"2007","journal-title":"IEEE Intell. Syst."},{"key":"10.1016\/j.scico.2014.02.021_br0410","series-title":"Handbook of Research on Educational Communications and Technology","article-title":"Feedback strategies for interactive learning tasks","author":"Narciss","year":"2008"},{"year":"1993","author":"Nielsen","series-title":"Usability Engineering","key":"10.1016\/j.scico.2014.02.021_br0420"},{"volume":"vol. 308","year":"2010","series-title":"Advances in Intelligent Tutoring Systems","key":"10.1016\/j.scico.2014.02.021_br0430"},{"issue":"4","key":"10.1016\/j.scico.2014.02.021_br0440","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00168958","article-title":"Intelligent tutoring systems: An overview","volume":"4","author":"Nwana","year":"1990","journal-title":"Artif. Intell. Rev."},{"key":"10.1016\/j.scico.2014.02.021_br0460","series-title":"Proceedings of ITS '08: The 9th International Conference on Intelligent Tutoring Systems","first-page":"766","article-title":"Lessons learned from scaling up a web-based intelligent tutoring system","author":"Patvarczki","year":"2008"},{"key":"10.1016\/j.scico.2014.02.021_br0470","series-title":"Proceedings of ITS '98: The 4th International Conference on Intelligent Tutoring Systems","first-page":"554","article-title":"Creating more versatile intelligent learning environments with a component-based architecture","author":"Ritter","year":"1998"},{"issue":"3\u20134","key":"10.1016\/j.scico.2014.02.021_br0480","first-page":"315","article-title":"An architecture for plug-in tutor agents","volume":"7","author":"Ritter","year":"1996","journal-title":"Int. J. Artif. Intell. Educ."},{"year":"2013","author":"Sangwin","series-title":"Computer Aided Assessment of Mathematics","key":"10.1016\/j.scico.2014.02.021_br0490"},{"issue":"1","key":"10.1016\/j.scico.2014.02.021_br0500","doi-asserted-by":"crossref","first-page":"153","DOI":"10.3102\/0034654307313795","article-title":"Focus on formative feedback","volume":"78","author":"Shute","year":"2008","journal-title":"Rev. Educ. Res."},{"key":"10.1016\/j.scico.2014.02.021_br0510","series-title":"Handbook of Research on Educational Communications and Technology","article-title":"Intelligent tutoring systems: Past, present and future","author":"Shute","year":"1996"},{"key":"10.1016\/j.scico.2014.02.021_br0520","series-title":"21st Century Learning for 21st Century Skills","first-page":"495","article-title":"Math-Bridge: Adaptive platform for multilingual mathematics courses","volume":"vol. 7563","author":"Sosnovsky","year":"2012"},{"year":"2007","author":"Susi","series-title":"Serious games \u2013 an overview","key":"10.1016\/j.scico.2014.02.021_br0530"},{"issue":"3","key":"10.1016\/j.scico.2014.02.021_br0540","first-page":"227","article-title":"The behavior of tutoring systems","volume":"16","author":"VanLehn","year":"2006","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"10.1016\/j.scico.2014.02.021_br0550","first-page":"147","article-title":"The Andes physics tutoring system: Lessons learned","volume":"15","author":"VanLehn","year":"2005","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"10.1016\/j.scico.2014.02.021_br0560","series-title":"ITS 2006","first-page":"349","article-title":"Supporting tutorial feedback to student help requests and errors in symbolic differentiation","volume":"vol. 4053","author":"Zinn","year":"2006"},{"key":"10.1016\/j.scico.2014.02.021_br0570","series-title":"Proceedings of the 34th Annual German Conference on Advances in Artificial Intelligence, KI'11","first-page":"357","article-title":"Algorithmic debugging to support cognitive diagnosis in tutoring systems","author":"Zinn","year":"2011"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642314000884?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642314000884?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T06:56:40Z","timestamp":1538809000000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642314000884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":56,"alternative-id":["S0167642314000884"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2014.02.021","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2014,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Feedback services for stepwise exercises","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2014.02.021","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2014 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}