Blog
About

105
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Mathematics for Formal Methods, a proposal for education reform

      2nd Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      2-3 July 1998

      distribution, education, formal method, modelling, monoid, morphism, structure, VDM, Z

      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

          It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications technology. For the most part, at undergraduate level, such mathematics is generally considered to consist of discrete mathematics, including formal logic. At a research level, one expects to find abstract algebra, category theory, topos theory, etc.

          In this paper we discuss a body of mathematics which is foundational to formal methods per se and used for the modelling of the usual sort of system artefacts: monoids and their morphisms. In particular we show how a single notion of distribution leads to better insights into many of the standard models in use. This discussion leads naturally to salient remarks on both the need for, and suitable direction to be taken in, a proposed education reform with a particular emphasis on mathematics for Information Technology.

          Related collections

          Most cited references 1

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

          Language-free mathematical methods for software design extended abstract

           David Parnas (1995)
            Bookmark

            Author and article information

            Contributors
            Conference
            July 1998
            July 1998
            : 1-18
            Affiliations
            University of Dublin,

            Trinity College, Dublin, Ireland
            Article
            10.14236/ewic/FM1998.10
            © Mícheál. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

            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/

            2nd Irish Workshop on Formal Methods
            FM
            2
            Cork, Ireland
            2-3 July 1998
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            Product
            Product Information: 1477-9358 BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article