E-learning by Doing with Computational Logic

E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts. In this paper, we propose to exploit a formal approach (based on Computational Logic) to define, verify and support the e-learning by doing paradigm. To this end, we introduce the SCIFF formal frameworks, its features, and two software components for e-learning of software applications.

• Type: Conference
• Year: 2008
• Where: SOCRATES
• Authors: Federico Chesani, Anna Ciampolini, Paola Mello
• Keywords: E-learning, E-learning Contexts, Education, Important E-learning Process, SOCRATES 2008