For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
1,796
views
0
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
1 collections
    4
    shares
      0
      similar
       All similar

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      “La main à la pâte”, An Abacus to Teach Formal Specifications

      Published
      proceedings-article
      Author(s):
      Publication date (Print):
      Conference name: Teaching Formal Methods: Practice and Experience (TFM)
      Conference theme: Teaching Formal Methods: Practice and Experience
      Conference date: 15 December 2006
      Keywords: B method, abacus, numeral systems, abstraction, refinement
      Bookmark

            Abstract

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

            Content

            Author and article information

            Contributors
            Henri Habrias
            Conference
            Publication date: December 2006
            Publication date (Print): December 2006
            Pages: 1-6
            Affiliations
            [0001]I.U.T. de Nantes, Laboratoire d’Informatique de Nantes Atlantique (LINA), 3 rue Ml Joffre,

            44041, Nantes, Cedex 1, France

            www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias/
            Article
            DOI: 10.14236/ewic/TFM2006.8
            SO-VID: f2cf6d8a-303b-49f9-a5cf-d75221b2c842
            Copyright © © Henri Habrias. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK
            License:

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Conference name: Teaching Formal Methods: Practice and Experience
            Conference acronym: TFM
            Conference number:
            Conference location: BCS London Office, UK
            Conference date: 15 December 2006
            Conference sponsor: Electronic Workshops in Computing (eWiC)
            Conference theme: Teaching Formal Methods: Practice and Experience
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.8
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Series title: Electronic Workshops in Computing

            ScienceOpen disciplines: Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Keywords: abstraction,numeral systems,B method,refinement,abacus

            Comments

            Comment on this article