Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications.

Juan Felipe Calderón Luis A. Rojas

Published in: HCI (16) (2023)

Keyphrases

technology enhanced learning
formal specification
design methodology
object oriented design
case study
learning processes
learning analytics
e learning
user interface
virtual environment
building blocks
design process
grand challenges