Earning Open Badges instead of regular grades and credits can be a motivating factor for high-performing students in terms of attending classes and completing assignments in extracurricular courses, but to what extent? And for what student profiles? To tackle these questions, we conducted a quantitative study with high-performing students. Each…

Several studies have explored the factors that influence self-efficacy as well as its contribution to academic development in online learning environments in recent years. However, little research has investigated the effect of a web-based learning environment on enhancing students' beliefs about self-efficacy for learning. This is especially…

Describes an automatic grading system for a formal methods computer science course that is able to evaluate a formal specification written in the Z language. Quality is measured by considering first, specification correctness (syntax, semantics, and satisfaction of customer requirements), and second, specification maintainability (comparison of…

Significant economies can be achieved in distributed learning systems architected with a focus on interoperability and reuse. The key building blocks of an efficient distributed learning architecture are the use of standards and XML technologies. The goal of plug and play capability among various components of a distributed learning system…