Blog
About

119
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Microsemantics as a Bootstrap in Teaching Formal Methods

      Teaching Formal Methods: Practice and Experience (TFM)

      Teaching Formal Methods: Practice and Experience

      15 December 2006

      calculational reasoning, domain-independent problems, formal methods, lambda calculus, microsemantics, state equations, substitution, program semantics, teaching

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Introducing an elementary form of program semantics early in the curriculum provides a good preamble to formal methods. Microsemantics uses only the most basic concept in formal mathematics, namely substitution, and therefore can be presented as early as the second lecture of a freshman-level course. It can subsequently serve as a bootstrap for gradually introducing most of the other fundamental concepts of formal methods, leading up to formal systems specification and design.

          Related collections

          Most cited references 4

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Concrete Generic Functionals

           Raymond Boute (2003)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Functional declarative language design and predicate calculus

             Raymond Boute (2005)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Using Domain-Independent Problems for Introducing Formal Methods

               Raymond Boute (2006)
                Bookmark

                Author and article information

                Contributors
                Conference
                December 2006
                December 2006
                : 1-6
                Affiliations
                INTEC — Universiteit Gent, Belgium
                Article
                10.14236/ewic/TFM2006.13
                © Raymond Boute. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK

                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/

                Teaching Formal Methods: Practice and Experience
                TFM
                BCS London Office, UK
                15 December 2006
                Electronic Workshops in Computing (eWiC)
                Teaching Formal Methods: Practice and Experience
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article