Matches in SemOpenAlex for { <https://semopenalex.org/work/W97656840> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W97656840 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." @default.
- W97656840 created "2016-06-24" @default.
- W97656840 creator A5068087482 @default.
- W97656840 date "1998-07-01" @default.
- W97656840 modified "2023-10-18" @default.
- W97656840 title "Mathematics for Formal Methods, a proposal for education reform" @default.
- W97656840 cites W1509735120 @default.
- W97656840 cites W1581728838 @default.
- W97656840 cites W1600795850 @default.
- W97656840 cites W2016101780 @default.
- W97656840 cites W2028783879 @default.
- W97656840 cites W2046407158 @default.
- W97656840 cites W2327280718 @default.
- W97656840 cites W2752853835 @default.
- W97656840 cites W2914849999 @default.
- W97656840 cites W3027900649 @default.
- W97656840 cites W634847655 @default.
- W97656840 cites W944338401 @default.
- W97656840 cites W1580145682 @default.
- W97656840 doi "https://doi.org/10.14236/ewic/fm1998.10" @default.
- W97656840 hasPublicationYear "1998" @default.
- W97656840 type Work @default.
- W97656840 sameAs 97656840 @default.
- W97656840 citedByCount "0" @default.
- W97656840 crossrefType "proceedings-article" @default.
- W97656840 hasAuthorship W97656840A5068087482 @default.
- W97656840 hasBestOaLocation W976568401 @default.
- W97656840 hasConcept C118840557 @default.
- W97656840 hasConcept C119026595 @default.
- W97656840 hasConcept C124952713 @default.
- W97656840 hasConcept C127413603 @default.
- W97656840 hasConcept C136119220 @default.
- W97656840 hasConcept C137212723 @default.
- W97656840 hasConcept C142362112 @default.
- W97656840 hasConcept C145420912 @default.
- W97656840 hasConcept C147176958 @default.
- W97656840 hasConcept C154945302 @default.
- W97656840 hasConcept C182141236 @default.
- W97656840 hasConcept C183140480 @default.
- W97656840 hasConcept C199360897 @default.
- W97656840 hasConcept C202444582 @default.
- W97656840 hasConcept C2524010 @default.
- W97656840 hasConcept C2777904410 @default.
- W97656840 hasConcept C2780719617 @default.
- W97656840 hasConcept C2780871342 @default.
- W97656840 hasConcept C30759668 @default.
- W97656840 hasConcept C33923547 @default.
- W97656840 hasConcept C41008148 @default.
- W97656840 hasConcept C47070236 @default.
- W97656840 hasConcept C54884031 @default.
- W97656840 hasConcept C88548561 @default.
- W97656840 hasConcept C94375191 @default.
- W97656840 hasConceptScore W97656840C118840557 @default.
- W97656840 hasConceptScore W97656840C119026595 @default.
- W97656840 hasConceptScore W97656840C124952713 @default.
- W97656840 hasConceptScore W97656840C127413603 @default.
- W97656840 hasConceptScore W97656840C136119220 @default.
- W97656840 hasConceptScore W97656840C137212723 @default.
- W97656840 hasConceptScore W97656840C142362112 @default.
- W97656840 hasConceptScore W97656840C145420912 @default.
- W97656840 hasConceptScore W97656840C147176958 @default.
- W97656840 hasConceptScore W97656840C154945302 @default.
- W97656840 hasConceptScore W97656840C182141236 @default.
- W97656840 hasConceptScore W97656840C183140480 @default.
- W97656840 hasConceptScore W97656840C199360897 @default.
- W97656840 hasConceptScore W97656840C202444582 @default.
- W97656840 hasConceptScore W97656840C2524010 @default.
- W97656840 hasConceptScore W97656840C2777904410 @default.
- W97656840 hasConceptScore W97656840C2780719617 @default.
- W97656840 hasConceptScore W97656840C2780871342 @default.
- W97656840 hasConceptScore W97656840C30759668 @default.
- W97656840 hasConceptScore W97656840C33923547 @default.
- W97656840 hasConceptScore W97656840C41008148 @default.
- W97656840 hasConceptScore W97656840C47070236 @default.
- W97656840 hasConceptScore W97656840C54884031 @default.
- W97656840 hasConceptScore W97656840C88548561 @default.
- W97656840 hasConceptScore W97656840C94375191 @default.
- W97656840 hasLocation W976568401 @default.
- W97656840 hasOpenAccess W97656840 @default.
- W97656840 hasPrimaryLocation W976568401 @default.
- W97656840 hasRelatedWork W1594900487 @default.
- W97656840 hasRelatedWork W2078217586 @default.
- W97656840 hasRelatedWork W2102140571 @default.
- W97656840 hasRelatedWork W2314365590 @default.
- W97656840 hasRelatedWork W2789590516 @default.
- W97656840 hasRelatedWork W2789755614 @default.
- W97656840 hasRelatedWork W4321320361 @default.
- W97656840 hasRelatedWork W568038298 @default.
- W97656840 hasRelatedWork W91080868 @default.
- W97656840 hasRelatedWork W97656840 @default.
- W97656840 isParatext "false" @default.
- W97656840 isRetracted "false" @default.
- W97656840 magId "97656840" @default.
- W97656840 workType "article" @default.