"La main à la pâte", an abacus to teach formal specifications

  • Authors:

  • Henri Habrias

  • Affiliations:

  • I.U.T. de Nantes, Laboratoire d'Informatique de Nantes Atlantique, Nantes, Cedex 1, France

  • Venue:
  • TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes the use of a soroban (japanese abacus) for teaching abstraction and refinement in a introductory course on B specifications.