This paper unveils and motivates an ambitious programme of hidden algebraic research in software engineering, beginning with our general goals, continuing with an overview of results, and including some future plans. Selected literature on concurrency and the object paradigm is reviewed, and a new perspective on nondeter-minism is developed. The main contribution is powerful hidden coinduction ...

One of the issues of e-learning web based application is to understand how the learner interacts with an e-learning application to perform a given task. This study proposes a methodology to analyze learner mouse movement in order to infer the task performed. To do this, a Hidden Markov Model is used for modeling the interaction of the learner with an elearning application. The obtained results ...