- Full text PDF available (2)
The IMS-QTI, and other related specifications have been developed to support the creation of reusable and pedagogically neutral learning scenarios and content, as stated by the IMS Global Learning Consortium. In this paper we discuss how current specifications both constrain the design of assessment scenarios, and limit content reusability. Key issues… (More)
This brief announcement outlines a new model for high-level concurrent and distributed programming based on constraint entailment, and how model-based verification methods can be directly applied to Java programs synchronizing using the model.