http://www.bcs.org/upload/pdf/ewic_tfm06_paper8.pdf
La main à la pâte, un boulier pour enseigner les spécifications formelles
This paper describes the use of a soroban (japanese abacus) for teaching abstraction
and refinement in a introductory course on B specifications.
Teaching Formal Methods: Practice and Experience, 15 December 2006
The British Computer Society
Keywords: B method, abacus, numeral systems, abstraction, refinement
Emploi des seniors : accord entre partenaires sociaux sans le Medef
-
Deux projets d’accord, l’un sur le compte épargne-temps universel, l’autre
sur les reconversions professionnelles, ont été bouclés mardi entre les
syndicat...
Il y a 41 minutes
Aucun commentaire:
Enregistrer un commentaire