A special session on
EDUCATIONAL CASE STUDIES IN PROTOCOLS
is to be held at
FORMAL DESCRIPTION TECHNIQUES (FORTE XI) - PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (PSTV XVIII) PARIS, 3-6 November 1998
The Ecasp session will take place during the tutorial day, 3 November.
Rationale: in the past few years a large number of tool supported case studies have been developed in an educational context (e.g. as a University course, or industrial training package) and the aim of this session is to report on the experience that has been capitalized in this important domain. The special session is devoted to presenting educational case studies on protocols and distributed systems. The case studies include various tutorial aspects such as animation, formal specification, debugging and automated verification.
During this special session, authors may include in their presentations an on-line, notebook based, demonstration of the case study. The case studies may also be demonstrated during the conference.
ECASP programme, November 3 :
| 17:00 - 17:15 | Formal Specification,
Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI David Cypher, David Lee, Marta Martin-Villaba, Christiaan Prins, David Su |
| 17:15 - 17:30 | System
Design using TEJA and KRONOS. Case Study: the FDDI
Protocol Akash Deshpande, Sergio Yovine |
| 17:30 - 17:45 | SDL
based protocol engineering and visualization for
education: ISDN Q.931 case study Wolfgang Kellerer, AChim Autenrieth, Andreas Iselt |
| 17:45 - 18:00 | Break |
| 18:00 - 18:15 | Workflow Applied to Projects
in Higher Education Jan van der Veen, Val Jones, Betty Collis |
| 18-15 - 18:30 | Animation of
Protocols and Distributed Algorithms Arnulf Mester, Heiko Krumm |
| 18:30 - 18:45 | FDTs foundations,
methods and tools in educational context: a DIT-UPM experience T. Tobles, J. Quemada, J. Salvachua, A. Azcorra, D. Larrabeiti, J.A. Manãs, T. De Miguel, S. Pavon, G. Huecas |
| 18:45 - 19:00 | Verification and
distributed observation of the alternating bit protocol Claude Jard, Thierry Jéron |
John DERRICK UKC - UK (J.Derrick@ukc.ac.uk)
Elie NAJM ENST - FRANCE (Elie.Najm@ENST.fr)
For the record : Ecasp call for submissions