Towards MultiMedia instruction in safe and secure systems

Abstract

The aim of the MMiSS project is the construction of a multi-media Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the area of Safe and Secure Systems. Traditional teaching materials (slides, handouts, annotated course material, assignments and so on) are to be converted into a new hypermedia format, integrated with tool interactions for formally developing correct software; they will be suitable for learning on campus and distance learning, as well as interactive, supervised, or co-operative self-study. Coherence and consistency are especially emphasised, through extensive semantic linking of teaching elements, and through a process model borrowed from the theory of formal software development, enlarging the knowledge base with the help of version and configuration management, to ensure "sustainable development", i.e. continuous long-term usability of the contents. © Springer-Verlag Berlin Heidelberg 2005.