Standard ML has a module system that allows one to deene para-metric modules, called functors. Functors are \\rst-order," meaning that func-tors themselves cannot be passed as parameters or returned as results of functor applications. This paper presents a semantics for a higher-order module system which generalizes the module system of Standard ML. The higher-order functors described here are ...

The current state of affair in e-learning world-wide shows a reluctance to didactic design. Learners frequently complain and scientists discuss about insufficient adaptivity of e-learning offers to the learners’ needs. Didactics is badly underestimated. High quality didactic design is seen as a crucial aspect of dissemination. E-learning content and services need to reach their audience properl...

Much of the detailed knowledge required to implement good Software Connguration Management systems has not been adequately cataloged and documented. The Design Pattern methodology provides a means to help rectify this deeciency. Based on the authors' experience in implementing Software Connguration Management tools, a selection of basic techniques for Software Connguration Management are presen...