Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966166816> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1966166816 abstract "In this paper, we derive Z input/output data refinement rules, including forwards and backwards rules, for the case in which the retrieve schemas are total functions when viewed as relations from the concrete to abstract variables. In practice, the relation between the abstract and concrete variables is often functional. Therefore, the use of the functional input/output refinement rules will reduce the cost and duration of the software development because the proof of the consistency of the abstract and concrete specifications is more easily demonstrated." @default.
- W1966166816 created "2016-06-24" @default.
- W1966166816 creator A5084223218 @default.
- W1966166816 creator A5091038766 @default.
- W1966166816 date "2010-08-01" @default.
- W1966166816 modified "2023-09-23" @default.
- W1966166816 title "Derivation of Z functional input/output refinement proof rules" @default.
- W1966166816 cites W1552647623 @default.
- W1966166816 cites W156257448 @default.
- W1966166816 cites W1581884822 @default.
- W1966166816 cites W2096445092 @default.
- W1966166816 cites W2144973245 @default.
- W1966166816 cites W2266362061 @default.
- W1966166816 doi "https://doi.org/10.1109/iceie.2010.5559891" @default.
- W1966166816 hasPublicationYear "2010" @default.
- W1966166816 type Work @default.
- W1966166816 sameAs 1966166816 @default.
- W1966166816 citedByCount "2" @default.
- W1966166816 countsByYear W19661668162012 @default.
- W1966166816 crossrefType "proceedings-article" @default.
- W1966166816 hasAuthorship W1966166816A5084223218 @default.
- W1966166816 hasAuthorship W1966166816A5091038766 @default.
- W1966166816 hasConcept C11413529 @default.
- W1966166816 hasConcept C124101348 @default.
- W1966166816 hasConcept C134306372 @default.
- W1966166816 hasConcept C154945302 @default.
- W1966166816 hasConcept C182365436 @default.
- W1966166816 hasConcept C199360897 @default.
- W1966166816 hasConcept C25343380 @default.
- W1966166816 hasConcept C2776436953 @default.
- W1966166816 hasConcept C2777904410 @default.
- W1966166816 hasConcept C33923547 @default.
- W1966166816 hasConcept C41008148 @default.
- W1966166816 hasConcept C80444323 @default.
- W1966166816 hasConceptScore W1966166816C11413529 @default.
- W1966166816 hasConceptScore W1966166816C124101348 @default.
- W1966166816 hasConceptScore W1966166816C134306372 @default.
- W1966166816 hasConceptScore W1966166816C154945302 @default.
- W1966166816 hasConceptScore W1966166816C182365436 @default.
- W1966166816 hasConceptScore W1966166816C199360897 @default.
- W1966166816 hasConceptScore W1966166816C25343380 @default.
- W1966166816 hasConceptScore W1966166816C2776436953 @default.
- W1966166816 hasConceptScore W1966166816C2777904410 @default.
- W1966166816 hasConceptScore W1966166816C33923547 @default.
- W1966166816 hasConceptScore W1966166816C41008148 @default.
- W1966166816 hasConceptScore W1966166816C80444323 @default.
- W1966166816 hasLocation W19661668161 @default.
- W1966166816 hasOpenAccess W1966166816 @default.
- W1966166816 hasPrimaryLocation W19661668161 @default.
- W1966166816 hasRelatedWork W1479894205 @default.
- W1966166816 hasRelatedWork W1484584685 @default.
- W1966166816 hasRelatedWork W1489250027 @default.
- W1966166816 hasRelatedWork W1508903366 @default.
- W1966166816 hasRelatedWork W1526041089 @default.
- W1966166816 hasRelatedWork W1566011881 @default.
- W1966166816 hasRelatedWork W1582458094 @default.
- W1966166816 hasRelatedWork W1585560305 @default.
- W1966166816 hasRelatedWork W158791101 @default.
- W1966166816 hasRelatedWork W1967704225 @default.
- W1966166816 hasRelatedWork W2023055783 @default.
- W1966166816 hasRelatedWork W2028746905 @default.
- W1966166816 hasRelatedWork W2094085700 @default.
- W1966166816 hasRelatedWork W2125554510 @default.
- W1966166816 hasRelatedWork W2142119680 @default.
- W1966166816 hasRelatedWork W2724806353 @default.
- W1966166816 hasRelatedWork W3102573003 @default.
- W1966166816 hasRelatedWork W3103318063 @default.
- W1966166816 hasRelatedWork W2464475647 @default.
- W1966166816 hasRelatedWork W2584069061 @default.
- W1966166816 isParatext "false" @default.
- W1966166816 isRetracted "false" @default.
- W1966166816 magId "1966166816" @default.
- W1966166816 workType "article" @default.