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
« Manifester n’est plus un droit, mais un risque qu’on doit prendre » :
pour les manifestants du 17 octobre, la question d’y retourner ou pas
-
Ils se sont mobilisés le 17 octobre et restent sidérés par cette journée
marquée par les pillages de commerces, les dégradations de bâtiments
publics, mais...
Il y a 16 heures
Articles
Aucun commentaire:
Enregistrer un commentaire