MultiMedia Instruction in Safe and Secure Systems

  • Bernd Krieg-Brückner
  • Dieter Hutter
  • Arne Lindow
  • Christoph Lüth
  • Achim Mahnke
  • Erica Melis
  • Philipp Meier
  • Arnd Poetzsch-Heffter
  • Markus Roggenbach
  • George Russell
  • Jan-Georg Smaus
  • Martin Wirsing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2755)


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.


Formal Method Secure System Derivation Tree Structural Entity Development Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Computing Classification System [1998 Version],
  2. 2.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Astesiano, E., Reggio, G.: Formalism and method. Theoretical Computer Science 236(1–2) (2000)Google Scholar
  4. 4.
    b-novative GmbH. davinci presenter web site,
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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 IIIGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys 28, 626–643 (1996)CrossRefGoogle Scholar
  9. 9.
    Fröhlich, M.: Inkrementelles Graphlayout im Visualisierungssystem daVinci. PhD thesis, Dissertation, Universität Bremen (1998)Google Scholar
  10. 10.
    Guntermann, K., Spannagel, C.: PPower4 Manual. TU Darmstadt (2002)Google Scholar
  11. 11.
    Haskell web site,
  12. 12.
    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 CrossRefGoogle Scholar
  13. 13.
    CoFILanguage Design Group, Krieg-Brückner, B., Mosses, P.D. (eds.): Casl summary. In: Mosses, P.D. (ed.) Casl Reference Manual. [19], Part IGoogle Scholar
  14. 14.
    Melis, E., Andres, E., Goguadse, G., Libbrecht, P., Pollet, M., Ullrich, C.: Activemath: System description (2001)Google Scholar
  15. 15.
    Melis, E., Ullrich, C., Goguadse, G., Libbrecht, P.: Wissensmodellierung und -nutzung in ActiveMath. KI 1, 12–18 (2003)Google Scholar
  16. 16.
    MMiSS web site,
  17. 17.
    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)CrossRefGoogle Scholar
  18. 18.
    Mosses, P.D., Bidoit, M.: Casl — the common algebraic specification language: User Manual. LNCS. Springer, Heidelberg (to appear)Google Scholar
  19. 19.
    Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004) (to appear)zbMATHGoogle Scholar
  20. 20.
  21. 21.
    Ousterhout, J.K.: Tcl and the Tk Toolkit. Addison-Wesley, Reading (1994)zbMATHGoogle Scholar
  22. 22.
    Roscoe, A.W.: The theory and practice of concurrency. Prentice-Hall, Englewood Cliffs (1998)Google Scholar
  23. 23.
    Russel, G., Lüth, C.: Htk — graphical user interfaces for haskell programs,
  24. 24.
    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)CrossRefGoogle Scholar
  25. 25.
    Sleepycat Software. Berkeley DB,
  26. 26.
    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)CrossRefzbMATHGoogle Scholar
  27. 27.
    The Dublin Core Metadata Initiative. Dublin core metadata initiative - home page (1998),
  28. 28.
    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)Google Scholar
  29. 29.
    Xemacs web site,

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Bernd Krieg-Brückner
    • 1
  • Dieter Hutter
    • 2
  • Arne Lindow
    • 1
  • Christoph Lüth
    • 1
  • Achim Mahnke
    • 1
  • Erica Melis
    • 3
  • Philipp Meier
    • 6
  • Arnd Poetzsch-Heffter
    • 4
  • Markus Roggenbach
    • 1
  • George Russell
    • 1
  • Jan-Georg Smaus
    • 5
  • Martin Wirsing
    • 6
  1. 1.Bremen Institute for Safe and Secure SystemsUniversität BremenGermany
  2. 2.DFKI SaarbrückenGermany
  3. 3.Universität des SaarlandesGermany
  4. 4.Universität KaiserslauternGermany
  5. 5.Universität FreiburgGermany
  6. 6.Ludwig-Maximilians-Universität MünchenGermany

Personalised recommendations