Today, there is a real challenge to enable personalized access to information. Several systems have been proposed to address this challenge including Adaptive Hypermedia Systems (AHSs). However, the specification of adaptation strategies remains a difficult task for creators of such systems. In this paper, we consider the problem of the definition…

Electronic performance support systems (EPSSs) are the software programs commonly used in commercial environments since the early 1990s. These software programs are generally called performance-based systems and focus on the complete job rather than providing individual development. For that reason, the usage of these systems in learning…

This paper provides operational semantics for imperative programming languages that legitimize the phraseology used in the statement and proof of a fundamental theorem of program correctness. Some of the phrases used in the theorem are normally undefined, but intuitively appealing. This paper attempts to give precise meaning to the questionable…