A Simple Refinement-based Method for Constructing Algorithms - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Sigcse Bulletin Année : 2009

A Simple Refinement-based Method for Constructing Algorithms

Résumé

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.
Fichier non déposé

Dates et versions

inria-00426384 , version 1 (26-10-2009)

Identifiants

Citer

Dominique Méry. A Simple Refinement-based Method for Constructing Algorithms. Sigcse Bulletin, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. ⟨10.1145/1595453.1595462⟩. ⟨inria-00426384⟩
119 Consultations
0 Téléchargements

Altmetric

Partager

More