Bibliography | Papakosta, S.; Burger, C.: Generating Interactive Protocol Simulations and Visualizations for Learning Environments. In: CaberNet: 4th Plenary Workshop. Vol. 2001. University of Stuttgart, Faculty of Computer Science. english. Not available, October 2001. Article in Proceedings (Conference Paper).
|
CR-Schema | 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 |
Abstract | 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.
|
Full text and other links | PostScript (300021 Bytes) HiSAP ITO
|
Contact | papakosi@informatik.uni-stuttgart.de caburger@informatik.uni-stuttgart.de |
Department(s) | University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Distributed Systems
|
Project(s) | ITO - HiSAP
|
Entry date | September 5, 2001 |
---|