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
Croatie : les conservateurs en tête des législatives, mais loin de la
majorité
-
Avec moins de sièges récoltés qu’en 2020, le HDZ du premier ministre
sortant, Andrej Plenkovic, s’apprête à des négociations difficiles, alors
que les soci...
Il y a 41 minutes
Aucun commentaire:
Enregistrer un commentaire