NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 3 results Save | Export
Peer reviewed Peer reviewed
Direct linkDirect link
Petit, Jordi; Roura, Salvador; Carmona, Josep; Cortadella, Jordi; Duch, Jordi; Giménez, Omer; Mani, Anaga; Mas, Jan; Rodríguez-Carbonell, Enric; Rubio, Enric; de San Pedro, Enric; Venkataramani, Divya – IEEE Transactions on Learning Technologies, 2018
Jutge.org is an open educational online programming judge designed for students and instructors, featuring a repository of problems that is well organized by courses, topics, and difficulty. Internally, Jutge.org uses a secure and efficient architecture and integrates modern verification techniques, formal methods, static code analysis, and data…
Descriptors: Programming, Computer Science Education, Electronic Learning, Experiential Learning
Peer reviewed Peer reviewed
Direct linkDirect link
García-González, Herminio; Gayo, José Emilio Labra; del Puerto Paule-Ruiz, María – IEEE Transactions on Learning Technologies, 2017
We describe a new educational tool that relies on Semantic Web technologies to enhance lessons content. We conducted an experiment with 32 students whose results demonstrate better performance when exposed to our tool in comparison with a plain native tool. Consequently, this prototype opens new possibilities in lessons content enhancement.
Descriptors: Semantics, Teaching Methods, Electronic Learning, Course Content
Peer reviewed Peer reviewed
Direct linkDirect link
Bañeres, David; Clarisó, Robert; Jorba, Josep; Serra, Montse – IEEE Transactions on Learning Technologies, 2014
The synthesis of digital circuits is a basic skill in all the bachelor programmes around the ICT area of knowledge, such as Computer Science, Telecommunication Engineering or Electrical Engineering. An important hindrance in the learning process of this skill is that the existing educational tools for the design of circuits do not allow the…
Descriptors: Electronics, Design, Program Validation, Electronic Learning