Homepage>Publikationen>PublikationsDetail

MultiMedia Instruction in Safe and Secure Systems

In: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2002. LNCS, volume 2755, p. 82--117, 2003

Authors

Bernd Krieg-Brückner
Dieter Hutter
Arne Lindow
Christopf Lüth
et al.

Abstract

The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a 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. To ensure "sustainable development", i.e. continuous long-term usability of the contents, coherence and consistency are especially emphasised, through extensive semantic linking of teaching elements and a particular version and configuration management, based on experience in formal software development and associated support tools.

Full Text

PDF: mmiss-final.pdf
PS.GZ: mmiss-final.ps.gz

BibTeX

@InProceedings{Krieg-Brueckner.Hutter.ETAL03multimedia, 
   author = {Bernd Krieg-Brückner and Dieter Hutter and Arne Lindow and Christopf Lüth and et al.}
   title = {MultiMedia Instruction in Safe and Secure Systems},
   booktitle = {Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2002},
   series = {LNCS},
   publisher = {Springer},
   pages = {82--117},
   year = {2003},
}

Einloggen