Skip to Main content Skip to Navigation
Journal articles

A Simple Refinement-based Method for Constructing Algorithms

Dominique Méry 1, *
* Corresponding author
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.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/inria-00426384
Contributor : Dominique Méry <>
Submitted on : Monday, October 26, 2009 - 5:39:21 AM
Last modification on : Thursday, April 9, 2020 - 11:34:03 AM

Identifiers

Collections

Citation

Dominique Méry. A Simple Refinement-based Method for Constructing Algorithms. Sigcse Bulletin, Association for Computing Machinery, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. ⟨10.1145/1595453.1595462⟩. ⟨inria-00426384⟩

Share

Metrics

Record views

260