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 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.
The MMiSS project has been supported by the German Ministry for Research and Education, bmb+f, in its programme ”New Media in Education”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Computing Classification System [1998 Version], http://www.acm.org/class/
Astesiano, E., Bidoit, M., Krieg-Brückner, B., Kirchner, H., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl – the common algebraic specification language. Theoretical Computer Science 286, 153–196 (2002)
Astesiano, E., Reggio, G.: Formalism and method. Theoretical Computer Science 236(1–2) (2000)
b-novative GmbH. davinci presenter web site, http://www.b-novative.com/products/daVinci/
Baclawski, K., Kokar, M.K., Kogut, P.A., Hart, L., Smith, J., Holmes III, W.S., Letkowski, J., Aronson, M.L.: Extending UML to support ontology engineering for the semantic Web. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 342–360. Springer, Heidelberg (2001)
Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl semantics. In: Mosses, P.D. (ed.) Casl Reference Manual. [19], Part III
Brunsmann, J., Homrighausen, A., Six, H.-W., Voss, J.: Assignments in a virtual university - the webassign-system. In: Proceedings of the 19th World Conference on Open Learning and Distance Education, Vienna/Austria (June 1999)
Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys 28, 626–643 (1996)
Fröhlich, M.: Inkrementelles Graphlayout im Visualisierungssystem daVinci. PhD thesis, Dissertation, Universität Bremen (1998)
Guntermann, K., Spannagel, C.: PPower4 Manual. TU Darmstadt (2002)
Haskell web site, http://www.haskell.org/
Kohlhase, M.: OMDoc: Towards an internet standard for mathematical knowledge. In: Campbell, J., Roanes-Lozano, E. (eds.) AISC 2000. LNCS (LNAI), vol. 1930, p. 32. Springer, Heidelberg (2001), See also http://www.mathweb.org/omdoc
CoFILanguage Design Group, Krieg-Brückner, B., Mosses, P.D. (eds.): Casl summary. In: Mosses, P.D. (ed.) Casl Reference Manual. [19], Part I
Melis, E., Andres, E., Goguadse, G., Libbrecht, P., Pollet, M., Ullrich, C.: Activemath: System description (2001)
Melis, E., Ullrich, C., Goguadse, G., Libbrecht, P.: Wissensmodellierung und -nutzung in ActiveMath. KI 1, 12–18 (2003)
MMiSS web site, http://www.mmiss.de
Mossakowski, T.: Casl: From semantics to tools. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 93–108. Springer, Heidelberg (2000)
Mosses, P.D., Bidoit, M.: Casl — the common algebraic specification language: User Manual. LNCS. Springer, Heidelberg (to appear)
Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004) (to appear)
OmDoc, http://www.openmath.org
Ousterhout, J.K.: Tcl and the Tk Toolkit. Addison-Wesley, Reading (1994)
Roscoe, A.W.: The theory and practice of concurrency. Prentice-Hall, Englewood Cliffs (1998)
Russel, G., Lüth, C.: Htk — graphical user interfaces for haskell programs, http://www.informatik.uni-bremen.de/htk/
Autexier, S., Hutter, D., Mossakowski, T., Schairer, A.: The development graph manager MAYA (system description). In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 495–502. Springer, Heidelberg (2002)
Sleepycat Software. Berkeley DB, http://www.sleepycat.com/
Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: Concepts and design. International Journal on Software Tools for Technology Transfer (STTT) 1, 9–30 (1997)
The Dublin Core Metadata Initiative. Dublin core metadata initiative - home page (1998), http://purl.org/DC/
Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or type-based translation? In: International Conference on Functional Programming ICFP 1999, pp. 148–159. ACM Press, New York (1999)
Xemacs web site, http://www.xemacs.org/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krieg-Brückner, B. et al. (2003). MultiMedia Instruction in Safe and Secure Systems. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds) Recent Trends in Algebraic Development Techniques. WADT 2002. Lecture Notes in Computer Science, vol 2755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40020-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-40020-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20537-1
Online ISBN: 978-3-540-40020-2
eBook Packages: Springer Book Archive