This text summarises the PhD thesis that Roel Leus presented to obtain the degree of Doctor in Applied Economics at the Katholieke Universiteit Leuven, in September 2003. The promo...
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
Lifecycle information can be of great help in the retrieval, authoring and usage of both, Learning Resources and Knowledge Documents. In my PhD thesis I want to show how the differ...