The aim of the MMiSS project is the construction of a multi-media 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 c ontents, 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.
%0 Conference Paper
%1 conf/wadt/Krieg-BrucknerHLLMMMPRRSW02
%A Krieg-Brückner, Bernd
%A Hutter, Dieter
%A Lindow, Arne
%A Lüth, Christoph
%A Mahnke, Achim
%A Melis, Erica
%A Meier, Philipp
%A Poetzsch-Heffter, Arnd
%A Roggenbach, Markus
%A Russell, George
%A Smaus, Jan-Georg
%A Wirsing, Martin
%B Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002
%C Frauenchiemsee, Germany
%D 2002
%E Wirsing, Martin
%E Pattinson, Dirk
%E Hennicker, Rolf
%I Springer
%K 2003 _todo changeManagement instruction privacy rlo
%P 82--117
%T MultiMedia Instruction in Safe and Secure Systems
%U http://dblp.uni-trier.de/db/conf/wadt/wadt2002.html#Krieg-BrucknerHLLMMMPRRSW02
%V 2755
%X The aim of the MMiSS project is the construction of a multi-media 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 c ontents, 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.
%@ 3-540-20537-3
@inproceedings{conf/wadt/Krieg-BrucknerHLLMMMPRRSW02,
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 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 c ontents, 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. },
added-at = {2009-07-13T14:17:56.000+0200},
address = {Frauenchiemsee, Germany},
author = {Krieg-Brückner, Bernd and Hutter, Dieter and Lindow, Arne and Lüth, Christoph and Mahnke, Achim and Melis, Erica and Meier, Philipp and Poetzsch-Heffter, Arnd and Roggenbach, Markus and Russell, George and Smaus, Jan-Georg and Wirsing, Martin},
biburl = {https://www.bibsonomy.org/bibtex/2afd1de348e0ce259f1349e9ca9344b8c/trude},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002},
crossref = {conf/wadt/2002},
date = {2004-02-06},
editor = {Wirsing, Martin and Pattinson, Dirk and Hennicker, Rolf},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=82},
interhash = {219797bdafbe3d8e4a3306163de5fff1},
intrahash = {afd1de348e0ce259f1349e9ca9344b8c},
isbn = {3-540-20537-3},
keywords = {2003 _todo changeManagement instruction privacy rlo},
month = {September},
pages = {82--117},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2009-11-10T11:32:16.000+0100},
title = {MultiMedia Instruction in Safe and Secure Systems},
url = {http://dblp.uni-trier.de/db/conf/wadt/wadt2002.html#Krieg-BrucknerHLLMMMPRRSW02},
volume = 2755,
year = 2002
}