Teaching programming methodology using Event B - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Teaching programming methodology using Event B

Résumé

Event B is supported by the RODIN platform and provides a framework for teaching programming methodology based on the famous pre/post specifications, together with the refinement. We illustrate a methodology based on Event B and the refinement by developing Floyd's algorithm for computing the shortest distances of a graph, which is based on an algorithm design technique called dynamic programming. The development is based on a paradigm identifying a non-deterministic event with a procedure call and by introducing control states. We discuss points related to our lectures at the university.
Fichier principal
Vignette du fichier
entcsmery.pdf (293.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00287231 , version 1 (11-06-2008)
inria-00287231 , version 2 (13-11-2008)

Identifiants

  • HAL Id : inria-00287231 , version 2

Citer

Dominique Méry. Teaching programming methodology using Event B. The B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France. ⟨inria-00287231v2⟩
93 Consultations
166 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More