BCS is a registered charity: No 292786
Text size
Contrast
'La main à la pâte', An Abacus to Teach Formal Specifications
Teaching Formal Methods: Practice and Experience
BCS London Office, UK, 15 December 2006
AUTHORS
Henri Habrias
ABSTRACT
This paper describes the use of a soroban (japanese abacus) for teaching abstraction and refinement in a introductory course on B specifications.