FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2800800175> ?p ?o ?g. }

• W2800800175 endingPage "79" @default.
• W2800800175 startingPage "64" @default.
• W2800800175 abstract "The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often a heterogeneity of representation; for example: speed can be represented in many different units (mph, kph, mps, etc. . . ). Secondly, there is incoherence in composition; for example: adding a speed to a temperature would provide a meaningless result in the physical world, even though such a purely mathematical operation is meaningful in the abstract. These aspects are problematic when implicit semantics - concerned with measurements - in CPSs are not explicit (enough) in the requirements, design and implementation models. We present an engineering approach for explicitly modelling measurements during all phases of formal system development. We illustrate this by moving from Event-B models to Java implementations, via object oriented design." @default.
• W2800800175 created "2018-05-17" @default.
• W2800800175 creator A5006494127 @default.
• W2800800175 creator A5018322893 @default.
• W2800800175 date "2018-05-12" @default.
• W2800800175 modified "2023-10-07" @default.
• W2800800175 title "Explicit Modelling of Physical Measures: From Event-B to Java" @default.
• W2800800175 cites W1970057182 @default.
• W2800800175 cites W1971486022 @default.
• W2800800175 cites W2024943946 @default.
• W2800800175 cites W2041091076 @default.
• W2800800175 cites W2057214761 @default.
• W2800800175 cites W2085587527 @default.
• W2800800175 cites W2114754412 @default.
• W2800800175 cites W2124665878 @default.
• W2800800175 cites W2136064646 @default.
• W2800800175 cites W2169004268 @default.
• W2800800175 cites W2170433383 @default.
• W2800800175 cites W2296193250 @default.
• W2800800175 cites W2726102468 @default.
• W2800800175 cites W2901896306 @default.
• W2800800175 cites W4241410814 @default.
• W2800800175 cites W4244819751 @default.
• W2800800175 cites W4248497312 @default.
• W2800800175 cites W4256672139 @default.
• W2800800175 cites W943604084 @default.
• W2800800175 doi "https://doi.org/10.4204/eptcs.271.5" @default.
• W2800800175 hasPublicationYear "2018" @default.
• W2800800175 type Work @default.
• W2800800175 sameAs 2800800175 @default.
• W2800800175 citedByCount "4" @default.
• W2800800175 countsByYear W28008001752020 @default.
• W2800800175 countsByYear W28008001752022 @default.
• W2800800175 countsByYear W28008001752023 @default.
• W2800800175 crossrefType "journal-article" @default.
• W2800800175 hasAuthorship W2800800175A5006494127 @default.
• W2800800175 hasAuthorship W2800800175A5018322893 @default.
• W2800800175 hasBestOaLocation W28008001751 @default.
• W2800800175 hasConcept C111919701 @default.
• W2800800175 hasConcept C116672817 @default.
• W2800800175 hasConcept C121332964 @default.
• W2800800175 hasConcept C127413603 @default.
• W2800800175 hasConcept C154945302 @default.
• W2800800175 hasConcept C17744445 @default.
• W2800800175 hasConcept C179768478 @default.
• W2800800175 hasConcept C184337299 @default.
• W2800800175 hasConcept C187320778 @default.
• W2800800175 hasConcept C199360897 @default.
• W2800800175 hasConcept C199539241 @default.
• W2800800175 hasConcept C26713055 @default.
• W2800800175 hasConcept C2776359362 @default.
• W2800800175 hasConcept C2779662365 @default.
• W2800800175 hasConcept C2781238097 @default.
• W2800800175 hasConcept C2984019128 @default.
• W2800800175 hasConcept C41008148 @default.
• W2800800175 hasConcept C548217200 @default.
• W2800800175 hasConcept C62520636 @default.
• W2800800175 hasConcept C80444323 @default.
• W2800800175 hasConcept C94625758 @default.
• W2800800175 hasConceptScore W2800800175C111919701 @default.
• W2800800175 hasConceptScore W2800800175C116672817 @default.
• W2800800175 hasConceptScore W2800800175C121332964 @default.
• W2800800175 hasConceptScore W2800800175C127413603 @default.
• W2800800175 hasConceptScore W2800800175C154945302 @default.
• W2800800175 hasConceptScore W2800800175C17744445 @default.
• W2800800175 hasConceptScore W2800800175C179768478 @default.
• W2800800175 hasConceptScore W2800800175C184337299 @default.
• W2800800175 hasConceptScore W2800800175C187320778 @default.
• W2800800175 hasConceptScore W2800800175C199360897 @default.
• W2800800175 hasConceptScore W2800800175C199539241 @default.
• W2800800175 hasConceptScore W2800800175C26713055 @default.
• W2800800175 hasConceptScore W2800800175C2776359362 @default.
• W2800800175 hasConceptScore W2800800175C2779662365 @default.
• W2800800175 hasConceptScore W2800800175C2781238097 @default.
• W2800800175 hasConceptScore W2800800175C2984019128 @default.
• W2800800175 hasConceptScore W2800800175C41008148 @default.
• W2800800175 hasConceptScore W2800800175C548217200 @default.
• W2800800175 hasConceptScore W2800800175C62520636 @default.
• W2800800175 hasConceptScore W2800800175C80444323 @default.
• W2800800175 hasConceptScore W2800800175C94625758 @default.
• W2800800175 hasLocation W28008001751 @default.
• W2800800175 hasLocation W28008001752 @default.
• W2800800175 hasLocation W28008001753 @default.
• W2800800175 hasLocation W28008001754 @default.
• W2800800175 hasLocation W28008001755 @default.
• W2800800175 hasLocation W28008001756 @default.
• W2800800175 hasOpenAccess W2800800175 @default.
• W2800800175 hasPrimaryLocation W28008001751 @default.
• W2800800175 hasRelatedWork W1493446239 @default.
• W2800800175 hasRelatedWork W1546517032 @default.
• W2800800175 hasRelatedWork W1566439789 @default.
• W2800800175 hasRelatedWork W1825982205 @default.
• W2800800175 hasRelatedWork W1855927527 @default.
• W2800800175 hasRelatedWork W1984757784 @default.
• W2800800175 hasRelatedWork W2122436896 @default.
• W2800800175 hasRelatedWork W2385657694 @default.
• W2800800175 hasRelatedWork W2800800175 @default.
• W2800800175 hasRelatedWork W2528467228 @default.

• next