• Multimedia instruction in Safe...

Treffer: Multimedia instruction in Safe and Secure Systems

Title:
Multimedia instruction in Safe and Secure Systems
Authors:
KRIEG-BRÜCKNER, Bernd, HUTTER, Dieter, SMAUS, Jan-Georg, WIRSING, Martin, LINDOW, Arne, LÜTH, Christoph, MAHNKE, Achim, MELIS, Erica, MEIER, Philipp, POETZSCH-HEFFTER, Arnd, ROGGENBACH, Markus, RUSSELL, George
Source:
Recent trends in algebraic development techniques (Fruenchiemsee, 24-27 September 2002, revised selected papers)Lecture notes in computer science. :82-117
Publisher Information:
Berlin: Springer, 2003.
Publication Year:
2003
Physical Description:
print, 29 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Généralités, General, Génie logiciel, Software engineering, Algorithme apprentissage, Learning algorithm, Algoritmo aprendizaje, Apprentissage supervisé, Supervised learning, Aprendizaje supervisado, Enseignement, Teaching, Enseñanza, Gestion configuration, Configuration management, Guide programme étude, Curriculum guides, Hypermédia, Hypermedia, Hipermedia, Hypertexte, Hypertext, Hipertexto, Informatique mobile, Mobile computing, Intelligence artificielle, Artificial intelligence, Inteligencia artificial, Interaction, Interacción, Internet, Long terme, Long term, Largo plazo, Multimédia, Multimedia, Méthode formelle, Formal method, Método formal, Programme enseignement, Educational program, Programa enseñanza, Spécification algébrique, Algebraic specification, Système adaptatif, Adaptive system, Sistema adaptativo, Système réparti, Distributed system, Sistema repartido, Sémantique, Semantics, Semántica, Téléenseignement, Remote teaching, Teleensenanza, Utilisabilité, Usability, Usabilidad, Gestion version, Version management
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Bremen Institute for Safe and Secure Systems, Universität Bremen, Germany
DFKI Saarbrücken, Germany
Universität des Saarlandes, Germany
Ludwig-Maximilians-Universität München, Germany
Universität Kaiserslautern, Germany
Universität Freiburg, Germany
ISSN:
0302-9743
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=15714982
Rights:
Copyright 2004 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.15714982
Database:
PASCAL Archive

Weitere Informationen

The aim of the MMiSS project is the construction of a multimedia 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.