MMiSS - MultiMedia Instruction in Safe Systems

Arne Lindow


We present an educational system developed at five universities in Germany that focuses on creation and presentation of learning material. The system was intended to cover the whole subject of Safe Systems at all partner locations. Over the time, the number of contributors - organized in an international MMiSS forum - is growing, so that course material from diverse domains goes into the respository. In the talk we will show the possibilities of the approach combining hypermedia course materials and formal programming tools. More informations about the project can be found at
Friday 19th September 2003, 14:00
Robert Recorde Room
Department of Computer Science