Teaching formal methods: Experience at UPMC and UP13 with CosyVerif - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

Étienne André
Fabrice Kordon
Laure Petrucci

Résumé

Nowadays, students are more and more demanding for practical coursework, which is a challenge when teaching formal approaches to software engineering. The solution is to provide environments for such hands-on sessions and homework, but this raises numerous difficulties. The environment must be: (i) multi-platform (Mac OS, Linux, Windows) so as to enable student practice at home, (ii) easy to deploy, (iii) easy to use and to take charge of, and (iv) flexible enough to enable the integration of new notations and associated services. CosyVerif is a software environment dedicated to graphical notations, that provides the mechanisms and means for an easy integration of additional existing software for teaching (or demonstration) purposes. This makes it an interesting platform to establish new courses. This paper presents our experience using CosyVerif for teaching Petri nets and parametric timed automata in two universities of the Paris region, i.e. Université Pierre et Marie Curie, and Université Paris 13. We also use CosyVerif to build demonstrators of Ph.D. students' work.

Dates et versions

hal-01215588 , version 1 (14-10-2015)

Identifiants

Citer

Étienne André, Fabrice Kordon, Laure Petrucci. Teaching formal methods: Experience at UPMC and UP13 with CosyVerif. 25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩. ⟨hal-01215588⟩
220 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More