Article

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

Authors:

J. E. Labra Gayo,

J. M. Morales Gil,

A. M. Fernández Álvarez,

H. Sagastegui ChigneAuthors Info & Claims

SIGCSE '03: Proceedings of the 34th SIGCSE technical symposium on Computer science education

Pages 391 - 395

https://doi.org/10.1145/611892.612015

Published: 11 January 2003 Publication History

Abstract

We describe the main features of an Internet based distance learning environment that we are developing to teach a course on logic and functional programming for computer science students. The main goal of the system is to provide a minimal set of capabilities for a generic interpreter that will be instantiated for different programming languages and paradigms. The architecture of the system is based on the use of XML and web services to facilitate the integration and independence between the different development platforms and systems.

References

[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.]]

Digital Library

[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.]]

Digital Library

[11]

K. M. Dawson-Howe. Automatic submission of programming assignments. SIGCSE Bulletin, 27(4):51--53, 1995.]]

Digital Library

[12]

B. M. Gonz' alez, 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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[15]

IEEE. Learning technology standards comittee. http://ltsc.ieee.org.]]

[16]

IMS Global Learning Consortium. http://www.imsproject.org.]]

[17]

C. G. Rodrí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.]]

Digital Library

[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.]]

Digital Library

Cited By

Sagástegui CLabra GL. JMorales GAlva OValdés EGarcía C(2003)A collaborative E-learning component for the IDEFIX projectProceedings of the 2003 international conference on Web engineering10.5555/1758260.1758285(116-119)Online publication date: 14-Jul-2003
https://dl.acm.org/doi/10.5555/1758260.1758285
Heo MBrewer JMendonca J(2003)A learning and assessment tool for web-based distributed educationProceedings of the 4th conference on Information technology curriculum10.1145/947121.947156(151-154)Online publication date: 16-Oct-2003
https://dl.acm.org/doi/10.1145/947121.947156

Index Terms

A generic e-learning multiparadigm programming language system: IDEFIX project
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Interpreters
      2. Runtime environments

Recommendations

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

We describe the main features of an Internet based distance learning environment that we are developing to teach a course on logic and functional programming for computer science students. The main goal of the system is to provide a minimal set of ...
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

Multiparadigm programming languages have been envisioned as a vehicle for constructing large and complex heterogeneous systems, such as a stock market exchange or a telecommunications network. General-purpose multiparadigm languages, as opposed to ...
A history of the Oz multiparadigm language

Oz is a programming language designed to support multiple programming paradigms in a clean factored way that is easy to program despite its broad coverage. It started in 1991 as a collaborative effort by the DFKI (Germany) and SICS (Sweden) and led to an ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGCSE '03: Proceedings of the 34th SIGCSE technical symposium on Computer science education

February 2003

444 pages

ISBN:158113648X

DOI:10.1145/611892

Conference Chair:
Scott Grissom
Grand Valley State University
,
Program Chairs:
Deborah Knox
The College of New Jersey
,
Dan Joyce
Villanova University
,
Publications Chair:
Wanda Dann
Ithaca College

ACM SIGCSE Bulletin Volume 35, Issue 1
January 2003
406 pages
ISSN:0097-8418
DOI:10.1145/792548
Issue’s Table of Contents

Copyright © 2003 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 January 2003

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGCSE03

Sponsor:

SIGCSE03: SIGCSE 2003 Symposium

February 19 - 23, 2003

Navada, Reno, USA

Acceptance Rates

Overall Acceptance Rate 1,595 of 4,542 submissions, 35%

Upcoming Conference

SIGCSE Virtual 2024

Sponsor:
sigcse

1st ACM Virtual Global Computing Education Conference

December 5 - 8, 2024

Virtual Event , NC , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
588
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Sagástegui CLabra GL. JMorales GAlva OValdés EGarcía C(2003)A collaborative E-learning component for the IDEFIX projectProceedings of the 2003 international conference on Web engineering10.5555/1758260.1758285(116-119)Online publication date: 14-Jul-2003
https://dl.acm.org/doi/10.5555/1758260.1758285
Heo MBrewer JMendonca J(2003)A learning and assessment tool for web-based distributed educationProceedings of the 4th conference on Information technology curriculum10.1145/947121.947156(151-154)Online publication date: 16-Oct-2003
https://dl.acm.org/doi/10.1145/947121.947156

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents