A generic e-learning multiparadigm programming language system: IDEFIX project

SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)

Volumn , Issue , 2003, Pages 391-395

  Labra Gayo, J E ^a   Morales Gil, J M ^a   Fernandez Alvarez A M ^a   Chigne, H Sagastegui ^a  

^a UNIVERSITY OF OVIEDO   (Spain)

Author keywords

Functional programming; Interpreters; Logic programming; Web services; XML

Indexed keywords

COMPUTER AIDED INSTRUCTION; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CURRICULA; LOGIC PROGRAMMING; PROGRAM INTERPRETERS; STUDENTS; TEACHING; WORLD WIDE WEB; XML;

DISTANCE LEARNING; ELECTRONIC LEARNING; FUNCTIONAL PROGRAMMING; MULTIPARADIGM PROGRAMMING LANGUAGE SYSTEM; WEB SERVICES;

DISTANCE EDUCATION;

EID: 0037673506     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/792548.612015     Document Type: Conference Paper

References (18)

1. Home page of the Hugs system. http://www.haskell.org/hugs.
2. World wide web consortium workshop on web services. http://www.w3.org/2001/03/WSWS-popa/paper51, Apr. 2001.
3. AulaNet project homepage. http://www.aulanet.uniovi.es/, 2002.
4. Home page of the WebCT system. http://www.webct.com, 2002.
5. Integrated Development Environment Frameworks based on Internet and eXtensible Technologies: IDEFIX project. http://www.di.uniovi.es/aplt/idefix, 2002.
6. Advanced Distributed Learning Sharable content object reference model. http://www.adlnet.org.
7. T. Bray, J. Paoli, and C. M. Sperberg-McQueen. Extensible markup language (1.0). http://www.w3.org/TR/REC-xml. Oct. 2000. 2nd. Edition.
8. A. Cernuda, J. E. Labra, and J. M. Cueva. Itacio: A component model for verifying software at construction time. In Third International Workshop on Component Based Software Engineering, 22nd. International Conference on Software Engineering, Limerick, Ireland, June 2000.
9. K. Claessen and J. Hughes. QuickCheck: A lightweight tool for random testing of haskell programs. In International Conference on Functional Programming, pages 268-279. ACM-SIGPLAN, 2000.
10. T. Clear, A. Haataja, J. Meyer, J. Suhonen, and S. A. Varden. Dimensions of distance learning for computer science education. SIGCSE Bulletin, 33(2), 2001. ITiCSE 2000 Working Group Reports.
11. K. M. Dawson-Howe. Automatic submission of programming assignments. SIGCSE Bulletin, 27(4):51-53, 1995.
12. B. M. González, J. E. Labra, and J. M. Cueva. Web navigability testing with remote agents.In Second ICSE Workshop on Web Engineering, 22nd. International Conference on Software Engineering, page 311, Limerick, Ireland, June 2000.
13. M. Guzdial. Use of collaborative multimedia in computer science classes. SIGCSE Bulletin, 33(3):17-21, Sep. 2001. 6th Annual Conference on Innovation and Technology in Computer Science Education.
14. D. M. Huizinga. Identifying topics for instructional improvement through on-line tracking of programming assignments. SIGCSE Bulletin, 33(3):129-132, Sep. 2001. 6th. Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education.
15. IEEE. Learning technology standards committee. http://ltsc.ieee.org.
16. IMS Global Learning Consortium. http://ww.imsproject.org.
17. C. G. Rodgríguez, L. L. Díaz, P. P. Costanza, C. P. Flores, R. M. Unanue and J. A. V. Iturbide. EXercita: Automatic web publishing of programming exercises. SIGCSE Bulletin, 33(3):161-164, 2001.
18. R. Saikkonen, L. Malmi, and A. Korhonen. Fully automatic assessment of programming exercises. SIGCSE Bulletin, 33(3):133-136 Sep. 2001. 6th. Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education.