메뉴 건너뛰기




Volumn 3, Issue 3, 2010, Pages 349-370

Specifying rewrite strategies for interactive exercises

Author keywords

Context free grammar; Feedback; Interactive exercises; Recognizer; Strategy language

Indexed keywords


EID: 77952880126     PISSN: 16618270     EISSN: 16618289     Source Type: Journal    
DOI: 10.1007/s11786-010-0027-4     Document Type: Article
Times cited : (26)

References (44)
  • 1
    • 0004102787 scopus 로고
    • Lawrence Erlbaum Associates, Hillsdale
    • Anderson, J. R.: Rules of the Mind. Lawrence Erlbaum Associates, Hillsdale (1993).
    • (1993) Rules of the Mind
    • Anderson, J.R.1
  • 3
    • 0022775150 scopus 로고
    • The automated tutoring of introductory computer programming
    • Anderson J. R., Skwarecki E.: The automated tutoring of introductory computer programming. Commun. ACM 29(9), 842-849 (1986).
    • (1986) Commun. ACM , vol.29 , Issue.9 , pp. 842-849
    • Anderson, J.R.1    Skwarecki, E.2
  • 4
    • 0006803685 scopus 로고    scopus 로고
    • Design principles of Mathpert: Software to support education in algebra and calculus
    • N. Kajler (Ed.), New York: Springer
    • Beeson M. J.: Design principles of Mathpert: software to support education in algebra and calculus. In: Kajler, N. (eds) Computer-Human Interaction in Symbolic Computation., pp. 89-115. Springer, New York (1998).
    • (1998) Computer-Human Interaction in Symbolic Computation. , pp. 89-115
    • Beeson, M.J.1
  • 7
    • 0018235476 scopus 로고
    • Diagnostic models for procedural bugs in basic mathematical skills
    • Brown J. S., Burton R. R.: Diagnostic models for procedural bugs in basic mathematical skills. Cogn. Sci. 2, 155-192 (1978).
    • (1978) Cogn. Sci. , vol.2 , pp. 155-192
    • Brown, J.S.1    Burton, R.R.2
  • 8
    • 85005432084 scopus 로고
    • Repair theory: A generative theory of bugs in procedural skills
    • Brown J. S., VanLehn K.: Repair theory: a generative theory of bugs in procedural skills. Cogn. Sci. 4, 379-426 (1980).
    • (1980) Cogn. Sci. , vol.4 , pp. 379-426
    • Brown, J.S.1    Vanlehn, K.2
  • 10
    • 84974442619 scopus 로고
    • The use of explicit plans to guide inductive proofs
    • Bundy, A.: The use of explicit plans to guide inductive proofs. In: Conference on Automated Deduction, pp. 111-120 (1988).
    • (1988) Conference on Automated Deduction , pp. 111-120
    • Bundy, A.1
  • 11
    • 84884370072 scopus 로고    scopus 로고
    • A critique of proof planning
    • (Kowalski Festschrift), LNAI
    • Bundy, A.: A critique of proof planning. In: Computat. Logic (Kowalski Festschrift), LNAI, vol. 2408 (2002).
    • (2002) Computat. Logic , vol.2408
    • Bundy, A.1
  • 12
    • 77952876916 scopus 로고    scopus 로고
    • Aplusix, a learning environment for algebra, actual use and benefits
    • Retrieved, May
    • Chaachoua, H., et al.: Aplusix, a learning environment for algebra, actual use and benefits. In: ICME 10: 10th International Congress on Mathematical Education, 2004. Retrieved http://www. itd. cnr. it/telma/papers. php, May 2008.
    • (2008) ICME 10: 10th International Congress on Mathematical Education, 2004
    • Chaachoua, H.1
  • 15
    • 77952880988 scopus 로고    scopus 로고
    • Paper presented at the math tutoring: Tools and feedback symposium organized by the surf foundation and the joining educational mathematics network (JEM), Heerlen, The Netherlands
    • Corbalan, G., Paas, F.: Learning and motivational effects of different forms of feedback in linear algebra problems. Paper presented at the math tutoring: tools and feedback symposium organized by the surf foundation and the joining educational mathematics network (JEM), Heerlen, The Netherlands (2008).
    • (2008) Learning and motivational effects of different forms of feedback in linear algebra problems
    • Corbalan, G.1    Paas, F.2
  • 16
    • 34247365585 scopus 로고    scopus 로고
    • Strongly typed rewriting for coupled software transformation
    • Cunha A., Visser J.: Strongly typed rewriting for coupled software transformation. Electron. Notes Theor. Comput. Sci. 174(1), 17-34 (2007).
    • (2007) Electron. Notes Theor. Comput. Sci. , vol.174 , Issue.1 , pp. 17-34
    • Cunha, A.1    Visser, J.2
  • 18
    • 77952880643 scopus 로고    scopus 로고
    • Freudenthal Institute: Digital math environment
    • Freudenthal Institute: Digital math environment. http://www. fi. uu. nl/dwo (2004).
    • (2004)
  • 23
    • 33746380693 scopus 로고    scopus 로고
    • PhD thesis, Hildesheim University, Fortschritt-Berichte VDI Reihe 10, Informatik/Kommunikationstechnik; 605. VDI, Düsseldorf
    • Hennecke, M.: Online Diagnose in intelligenten mathematischen Lehr-Lern-Systemen (in German). PhD thesis, Hildesheim University, Fortschritt-Berichte VDI Reihe 10, Informatik/Kommunikationstechnik; 605. VDI, Düsseldorf (1999).
    • (1999) Online Diagnose in intelligenten mathematischen Lehr-Lern-Systemen (in German)
    • Hennecke, M.1
  • 24
    • 38349050150 scopus 로고    scopus 로고
    • Comparing approaches to generic programming in Haskell
    • In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.), LNCS, Springer, New York
    • Hinze, R., Jeuring, J., Löh, A.: Comparing approaches to generic programming in Haskell. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) Datatype-Generic Programming, LNCS, vol. 4719, pp. 72-149. Springer, New York (2007).
    • (2007) Datatype-Generic Programming , vol.4719 , pp. 72-149
    • Hinze, R.1    Jeuring, J.2    Löh, A.3
  • 25
    • 33746339205 scopus 로고    scopus 로고
    • Handling errors in mathematical formulas
    • In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.), LNCS, Springer, New York
    • Horacek, H., Wolska, M.: Handling errors in mathematical formulas. In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.) ITS 2006, LNCS, vol. 4053, pp. 339-348. Springer, New York (2006).
    • (2006) ITS 2006 , vol.4053 , pp. 339-348
    • Horacek, H.1    Wolska, M.2
  • 26
    • 0001082611 scopus 로고    scopus 로고
    • Building domain-specific embedded languages
    • Hudak, P.: Building domain-specific embedded languages. ACM Comput. Surv. 28A(4), 17 (1996).
    • (1996) ACM Comput. Surv. , vol.28 A , Issue.4 , pp. 17
    • Hudak, P.1
  • 27
    • 84974183714 scopus 로고
    • Higher-order functions for parsing
    • Hutton G.: Higher-order functions for parsing. J. Funct. Program. 2(3), 323-343 (1992).
    • (1992) J. Funct. Program. , vol.2 , Issue.3 , pp. 323-343
    • Hutton, G.1
  • 29
    • 77952883725 scopus 로고    scopus 로고
    • Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, 2003
    • see also
    • Jones, S. P., et al.: Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, 2003. A special issue of the Journal of Functional Programming. see also http://www. haskell. org/.
    • A special issue of the Journal of Functional Programming
    • Jones, S.P.1
  • 30
    • 0141650650 scopus 로고    scopus 로고
    • Scrap your boilerplate: A practical approach to generic programming
    • TLDI'03
    • Lämmel, R., Jones, S. P.: Scrap your boilerplate: a practical approach to generic programming. ACM SIGPLAN Not. 38(3), 26-37. TLDI'03 (2003).
    • (2003) ACM SIGPLAN Not , vol.38 , Issue.3 , pp. 26-37
    • Lämmel, R.1    Jones, S.P.2
  • 34
    • 77952882043 scopus 로고    scopus 로고
    • National Research Council: How People Learn-Brain, Mind, Experience, and School. National Academy Press (2000)
    • National Research Council: How People Learn-Brain, Mind, Experience, and School. National Academy Press (2000).
  • 35
    • 45149092271 scopus 로고    scopus 로고
    • Feedback in an interactive equation solver
    • In: Seppälä, M., Xambo, S., Caprotti, O. (eds.), WebALT 2006, Oy WebALT Inc
    • Passier, H., Jeuring, J.: Feedback in an interactive equation solver. In: Seppälä, M., Xambo, S., Caprotti, O. (eds.) Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006, pp. 53-68. Oy WebALT Inc. (2006).
    • (2006) Proceedings of the Web Advanced Learning Conference and Exhibition , pp. 53-68
    • Passier, H.1    Jeuring, J.2
  • 37
    • 38849132612 scopus 로고    scopus 로고
    • iTasks: Executable specifications of interactive work flow systems for the web
    • New York
    • Plasmeijer, R., Achten, P., Koopman, P.: iTasks: executable specifications of interactive work flow systems for the web. In: ICFP '07, pp. 141-152, New York (2007).
    • (2007) ICFP '07 , pp. 141-152
    • Plasmeijer, R.1    Achten, P.2    Koopman, P.3
  • 39
    • 84957545443 scopus 로고    scopus 로고
    • Deterministic, error-correcting combinator parsers
    • In: Launchbury, J., Meijer, E., Sheard, T. (eds.), Springer, New York
    • Swierstra, S. D., Duponcheel, L.: Deterministic, error-correcting combinator parsers. In: Launchbury, J., Meijer, E., Sheard, T. (eds.) Advanced Functional Programming, LNCS, vol. 1129, pp. 184-207. Springer, New York (1996).
    • (1996) Advanced Functional Programming, LNCS , vol.1129 , pp. 184-207
    • Swierstra, S.D.1    Duponcheel, L.2
  • 41
    • 0001994665 scopus 로고
    • Training for reflective expertise: A four-component instructional design model for complex cognitive skills
    • van Merriënboer J. J. G., Jelsma O., Paas F. G. W. C.: Training for reflective expertise: a four-component instructional design model for complex cognitive skills. Educ. Technol. Res. Dev. 40(2), 23-43 (1992).
    • (1992) Educ. Technol. Res. Dev. , vol.40 , Issue.2 , pp. 23-43
    • van Merriënboer, J.J.G.1    Jelsma, O.2    Paas, F.G.W.C.3
  • 43
    • 0031606558 scopus 로고    scopus 로고
    • Building program optimizers with rewriting strategies
    • Visser, E., Benaissa, Z. A., Tolmach, A.: Building program optimizers with rewriting strategies. In: ICFP '98, pp. 13-26 (1998).
    • (1998) ICFP '98 , pp. 13-26
    • Visser, E.1    Benaissa, Z.A.2    Tolmach, A.3
  • 44
    • 33746341482 scopus 로고    scopus 로고
    • Supporting tutorial feedback to student help requests and errors in symbolic differentiation
    • In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.), Springer, New York
    • Zinn, C.: Supporting tutorial feedback to student help requests and errors in symbolic differentiation. In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.) ITS 2006, LNCS, vol. 4053, pp. 349-359. Springer, New York (2006).
    • (2006) ITS 2006, LNCS , vol.4053 , pp. 349-359
    • Zinn, C.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.