Bibliograph. Daten | Papakosta, S.; Burger, C.: Generating Interactive Protocol Simulations and Visualizations for Learning Environments. In: CaberNet: 4th Plenary Workshop. Vol. 2001. Universität Stuttgart, Fakultät Informatik. englisch. Not available, Oktober 2001. Artikel in Tagungsband (Konferenz-Beitrag).
|
CR-Klassif. | C.2.2 (Network Protocols) I.6 (Simulation and Modeling) K.3 (Computers and Education) H.5.1 (Multimedia Information Systems)
|
Keywords | SPIN; Promela; model checking; simulation; animation |
Kurzfassung | This position paper introduces the idea and concept of generating interactive protocol simulations and visualizations for teaching environments in lectures as well as for learning environments over the internet. Since the realisation is based on the SPIN model checker, a short presentation of this verification tool and its language Promela is shortly been given before sketching the generation procedure itself. The architecture presented here is open to further extensions.
|
Volltext und andere Links | PostScript (300021 Bytes) HiSAP ITO
|
Kontakt | papakosi@informatik.uni-stuttgart.de caburger@informatik.uni-stuttgart.de |
Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Höchstleistungsrechner, Verteilte Systeme
|
Projekt(e) | ITO - HiSAP
|
Eingabedatum | 5. September 2001 |
---|