A Simple Refinement-based Method for Constructing Algorithms

Dominique Méry 1, *
* Auteur correspondant
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The Event B modelling language provides a framework for teaching programming methodology based on the famous pre/post-specifications, together with the refinement. We illustrate the call-as-event pattern for helping users to use Event B. As teacher, we are using students to evaluate our methodology and we give comments in italic, when we have got reactions from our students: a given definition, a concept related to our methodology, for instance. We discuss points related to our lectures at different levels of the university, mainly master. Simple case studies illustrate the teaching methodology based on interactive proofs.
Type de document :
Article dans une revue
ACM SIGCSE Bulletin, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. 〈10.1145/1595453.1595462〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00426384
Contributeur : Dominique Méry <>
Soumis le : lundi 26 octobre 2009 - 05:39:21
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

Collections

Citation

Dominique Méry. A Simple Refinement-based Method for Constructing Algorithms. ACM SIGCSE Bulletin, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. 〈10.1145/1595453.1595462〉. 〈inria-00426384〉

Partager

Métriques

Consultations de la notice

209