Digital technology 1 is omnipresent in society. Revolutionary technological developments
change the character of professional environments, and therefore put new demands on …

This paper presents the ontological design and implementation of the differentiated learning
environment in the domain model of an intelligent tutoring system for children with specific …

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming
language Haskell. It supports the stepwise development of Haskell programs by verifying the …

In the last few decades, numerous tutoring systems and assessment tools have been
developed to support students with learning programming, giving hints on correcting errors …

Assessment is a key component of all educational systems, and automatic online
assessment is becoming increasingly common for formative work in mathematics. This …

Communicate! is a serious game for practicing communication skills. It supports practicing
interpersonal communication skills between a health care professional such as a doctor or a …

Throughout the last three decades, mathematics educators have expressed high
expectations of the benefits of using digital technology in mathematics education. In …

In this response paper to Hoyles' contribution “Transforming the mathematical practices of
learners and teachers through digital technology” focuses on three points. First, more …

More and more people take up learning how to program: in schools and universities, in large
open online courses or by learning it by themselves. A large number of tools have been …

Digital assessment of mathematics is becoming widespread, but still comes with limitations
and constraints. A central question is how to design digital tests that assess mathematical …