%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 }