MultiMedia instruction in Safe and Secure Systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2755, Issue , 2003, Pages 82-117

  Krieg Brückner, Bernd ^a   Hutter, Dieter ^b   Lindow, Arne ^a   Lüth, Christoph ^a   Mahnke, Achim ^a   Melis, Erica ^c   Meier, Philipp ^f   Poetzsch Heffter, Arnd ^d   Roggenbach, Markus ^a   Russell, George ^a   Smaus, Jan Georg ^e   Wirsing, Martin ^f  

^a UNIVERSITY OF BREMEN   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

^c SAARLAND UNIVERSITY   (Germany)

^d Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

^e UNIVERSITY OF FREIBURG   (Germany)

^f UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CURRICULA; DISTANCE EDUCATION; FORMAL METHODS; INTERNET; SEMANTICS; SOFTWARE ENGINEERING; TEACHING;

CONFIGURATION MANAGEMENT; COURSE MATERIAL; EDUCATIONAL SYSTEMS; FORMAL SOFTWARE DEVELOPMENT; MULTIMEDIA INSTRUCTION; MULTIMEDIA INTERNET; SECURE SYSTEM; TEACHING MATERIALS;

SOFTWARE DESIGN;

EID: 18544412181     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40020-2_4     Document Type: Article

References (29)

1. Computing Classification System [1998 Version]. http://www.acm.org/class/.
2. E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P. D. Mosses, D. Sannella, and A. Tarlecki. CASL - the common algebraic specification language. Theoretical Computer Science, 286:153-196, 2002.
3. E. Astesiano and G. Reggio. Formalism and method. In Theoretical Computer Science, pages 236(1-2), 2000.
4. b-novative GmbH. davinci presenter web site. http://www.b-novative.com/products/daVinci/.
5. K. Baclawski, M. K. Kokar, P. A. Kogut, L. Hart, J. Smith, W. S. Holmes III, J. Letkowski, and M. L. Aronson. Extending UML to support ontology engineering for the semantic Web. Lecture Notes in Computer Science, 2185:342-360, 2001.
6. H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, P.D. Mosses, D. Sannella, and A. Tarlecki. CASL semantics. In P.D. Mosses, editor, CASL Reference Manual. [19], Part III.
7. J. Brunsmann, A. Homrighausen, H.-W. Six, and J. Voss. 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.
8. E. M. Clarke and J. M. Wing. Formal methods: State of the art and future directions. In ACM Computing Surveys 28, pages 626-643, 1996.
9. M. Fröhlich. Inkrementelles Graphlayout im Visualisierungssystem daVinci. PhD thesis, Dissertation, Universität Bremen, 1998.
10. K. Guntermann and C. Spannagel. PPower4 Manual. TU Darmstadt, 2002.
11. Haskell web site. http://www.haskell.org/.
12. M. Kohlhase. OMDoc: Towards an internet standard for mathematical knowledge. In E. R. Lozano, editor, Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2000, LNAI. Springer Verlag, 2001. See also http://www.mathweb.org/omdoc.
13. CoFILanguage Design Group, B. Krieg-Bruckner and P.D. Mosses (eds.). CASL summary. In P.D. Mosses, editor, CASL Reference Manual. [19], Part I.
14. E. Melis, E. Andres, G. Goguadse, P. Libbrecht, M. Pollet, and C. Ullrich. Active-math: System description, 2001.
15. E. Melis and C. Ullrich G. Goguadse, P. Libbrecht. Wissensmodellierung und -nutzung in ACTIVEMATH. KI, to appear(1):12-18, 2003.
16. MMiSS web site. http://www.mmiss.de.
17. T. Mossakowski. CASL: From semantics to tools. In S. Graf and M. Schwartzbach, editors, TACAS 2000, volume 1785 of Lecture Notes in Computer Science, pages 93-108. Springer-Verlag, 2000.
18. P. D. Mosses and M. Bidoit. CASL - the common algebraic specification language: User Manual. Lecture Notes in Computer Science. Springer. To appear.
19. P. D. Mosses (ed.). CASL - the common algebraic specification language: Reference Manual Lecture Notes in Computer Science. Springer. To appear.
20. OmDoc. http://www.openmath.org.
21. J. K. Ousterhout. Tcl and the Tk Toolkit. Addison Wesley, 1994.
22. A.W. Roscoe. The theory and practice of concurrency. Prentice Hall, 1998.
23. G. Russel and C. Lüth. Htk - graphical user interfaces for haskell programs. http://www.informatik.uni-bremen.de/htk/.
24. S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. The development graph manager MAYA (system description). In H. Kirchner and C. Reingeissen, editors, Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, pages 495-502. Springer-Verlag, 2002.
25. Sleepycat Software. Berkeley DB. http://www.sleepycat.com/.
26. B. Steffen, T. Margaria, and V. Braun. The electronic tool integration platform: Concepts and design. In International Journal on Software Tools for Technology Transfer (STTT) 1, pages 9-30, 1997.
27. The Dublin Core Metadata Initiative. Dublin core metadata initiative - home page, 1998. http://purl.org/DC/.
28. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or type-based translation? In International Conference on Functional Programming ICFP'99, pages 148-159. ACM Press, 1999.
29. Xemacs web site. http://www.xemacs.org/.