Teachers and Students in Charge

详细信息    查看全文

• 作者：Alex Gerdes (20)
  Bastiaan Heeren (20)
  Johan Jeuring (20) (21)
  
• 关键词：Functional programming ; tutoring ; Haskell
• 刊名：Lecture Notes in Computer Science
• 出版年：2012
• 出版时间：2012
• 年：2012
• 卷：7563
• 期：1
• 页码：389-394
• 全文大小：112KB
• 参考文献：1. Anderson, J.R., Conrad, F.G., Corbett, A.T.: Skill acquisition and the LISP tutor. Cognitive Science聽13, 467鈥?05 (1986) CrossRef
  2. Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive tutors: Lessons learned. Journal of the Learning Sciences聽4(2), 167鈥?07 (1995) CrossRef
  3. Corbett, A.T., Anderson, J.R., Patterson, E.J.: Problem compilation and tutoring flexibility in the LISP tutor. In: Proceedings of ITS 1988: 4th International Conference on Intelligent Tutoring Systems, pp. 423鈥?29 (1988)
  4. Gerdes, A., Heeren, B., Jeuring, J.: Constructing Strategies for Programming. In: Cordeiro, J., Shishkov, B., Verbraeck, A., Helfert, M. (eds.) Proceedings of the First International Conference on Computer Supported Education, pp. 65鈥?2. INSTICC Press (March 2009)
  5. Gerdes, A., Heeren, B., Jeuring, J.: Teachers and students in charge 鈥?using annotated model solutions in a functional programming tutor. Technical Report UU-CS-2012-007, Utrecht University, Department of Computer Science (2012)
  6. Gerdes, A., Jeuring, J., Heeren, B.: An interactive functional programming tutor. In: Proceedings of ITICSE 2012: the 17th Annual Conference on Innovation and Technology in Computer Science Education (to appear, 2012); Also available as technical report Utrecht University, UU-CS-2012-002
  7. Hattie, J., Timperley, H.: The power of feedback. Review of Educational Research聽77(1), 81鈥?12 (2007) CrossRef
  8. Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science聽3(3), 349鈥?70 (2010) CrossRef
  9. Holland, J., Mitrovic, T., Martin, B.: J-Latte: a constraint-based tutor for Java. In: Proceedings of ICCE 2009: the 17th International on Conference Computers in Education, pp. 142鈥?46 (2009)
  10. Jeuring, J., Gerdes, A., Heeren, B.: ASK- ELLE: A Haskell Tutor Demonstration. In: Ravenscroft, A., Lindstaedt, S., Delgado Kloos, C., Hern谩ndez-Leo, D. (eds.) EC-TEL 2012. LNCS, vol.聽7563, pp. 453鈥?58. Springer, Heidelberg (2012)
  11. McCracken, M., Almstrum, V., Diaz, D., Guzdial, M., Hagan, D., Kolikant, Y.B., Laxer, C., Thomas, L., Utting, I., Wilusz, T.: A multi-national, multi-institutional study of assessment of programming skills of first-year CS students. In: Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education, ITiCSE-WGR 2001, pp. 125鈥?80. ACM (2001)
  
• 作者单位：Alex Gerdes (20)
  Bastiaan Heeren (20)
  Johan Jeuring (20) (21)
  
  20. School of Computer Science, Open Universiteit Nederland, P.O. Box 2960, 6401 DL, Heerlen, The Netherlands
  21. Department of Information and Computing Sciences, Universiteit Utrecht, The Netherlands
  

文摘

We are developing Ask-Elle, a programming tutor that supports students practising functional programming exercises in Haskell. Ask-Elle supports the stepwise construction of a program, can give hints and worked-out solutions at any time, and can check whether or not a student is developing a program similar to one of the model solutions for a problem. An important goal of Ask-Elle is to allow as much flexibility as possible for both teachers and students. A teacher can specify her own exercises by giving a set of model solutions for a problem. Based on these model solutions our tutor generates feedback. A teacher can adapt feedback by annotating model solutions. A student may use her own names for functions and variables, and may use different, but equivalent, language constructs. This paper shows how we track intermediate student steps in Ask-Elle and how we avoid the state space explosion we get when analysing intermediate, incomplete, student answers.