This paper describes the achievements of an innovative eight-year research program first introduced in Mizoguchi and Bourdeau (2000), which was aimed at building a theory-aware authoring system by using ontological engineering. To date, we have proposed OMNIBUS, an ontology that comprehensively covers different learning/instructional theories and…

E-learning provides a convenient and efficient way for learning. Formative assessment not only guides student in instruction and learning, diagnose skill or knowledge gaps, but also measures progress and evaluation. An efficient and convenient e-learning formative assessment system is the key character for e-learning. However, most e-learning…

This paper introduces the Quail Model, a device for the classification and visualisation of learning goals. The model is a communication tool that can smoothen the discussion within a course design team, support shared understanding, and improve decision making. Its theoretical background mingles contributions from instructional design (Bloom,…