Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000564974> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2000564974 abstract "One way to verify the correctness of an implementation under refinement in formal specifications is by verifying the system against a set of properties we wish to have in the final implementation. This is in such a way that the relevant properties are preserved in each development step. The difference here is that we have a separate specification of system properties. These properties are those that are satisfied by the initial specification. As the development of the system progresses from one step to another, the correctness of the concrete specification is verified by checking the satisfaction of the properties. The correctness of the abstract specification is preserved in the concrete specification (or an implementation) if the concrete specification satisfies all properties the abstract specification satisfies [1]. In other words, the properties are preserved and hold in the concrete specification. This paper extends the result on LTL property preservation for Z specifications in [2] to the OZ part of CSP-OZ specifications. This is where Z refinement exists side-by-side with CSP refinement in the CSP part of a CSP-OZ specification." @default.
- W2000564974 created "2016-06-24" @default.
- W2000564974 creator A5023962640 @default.
- W2000564974 creator A5049531887 @default.
- W2000564974 creator A5079759836 @default.
- W2000564974 creator A5080495088 @default.
- W2000564974 date "2012-06-01" @default.
- W2000564974 modified "2023-09-23" @default.
- W2000564974 title "Temporal property preservation under Z refinement in CSP-OZ specifications" @default.
- W2000564974 cites W120333500 @default.
- W2000564974 cites W123523327 @default.
- W2000564974 cites W1483447793 @default.
- W2000564974 cites W1507195521 @default.
- W2000564974 cites W1612453857 @default.
- W2000564974 cites W1946608631 @default.
- W2000564974 cites W2076964487 @default.
- W2000564974 cites W2079360995 @default.
- W2000564974 cites W2102097307 @default.
- W2000564974 cites W2118639317 @default.
- W2000564974 doi "https://doi.org/10.1109/iccisci.2012.6297152" @default.
- W2000564974 hasPublicationYear "2012" @default.
- W2000564974 type Work @default.
- W2000564974 sameAs 2000564974 @default.
- W2000564974 citedByCount "0" @default.
- W2000564974 crossrefType "proceedings-article" @default.
- W2000564974 hasAuthorship W2000564974A5023962640 @default.
- W2000564974 hasAuthorship W2000564974A5049531887 @default.
- W2000564974 hasAuthorship W2000564974A5079759836 @default.
- W2000564974 hasAuthorship W2000564974A5080495088 @default.
- W2000564974 hasBestOaLocation W20005649742 @default.
- W2000564974 hasConcept C111472728 @default.
- W2000564974 hasConcept C11413529 @default.
- W2000564974 hasConcept C115903868 @default.
- W2000564974 hasConcept C116253237 @default.
- W2000564974 hasConcept C138885662 @default.
- W2000564974 hasConcept C14331664 @default.
- W2000564974 hasConcept C177264268 @default.
- W2000564974 hasConcept C189950617 @default.
- W2000564974 hasConcept C199360897 @default.
- W2000564974 hasConcept C201677973 @default.
- W2000564974 hasConcept C41008148 @default.
- W2000564974 hasConcept C55439883 @default.
- W2000564974 hasConcept C84651959 @default.
- W2000564974 hasConcept C90069079 @default.
- W2000564974 hasConcept C90483712 @default.
- W2000564974 hasConceptScore W2000564974C111472728 @default.
- W2000564974 hasConceptScore W2000564974C11413529 @default.
- W2000564974 hasConceptScore W2000564974C115903868 @default.
- W2000564974 hasConceptScore W2000564974C116253237 @default.
- W2000564974 hasConceptScore W2000564974C138885662 @default.
- W2000564974 hasConceptScore W2000564974C14331664 @default.
- W2000564974 hasConceptScore W2000564974C177264268 @default.
- W2000564974 hasConceptScore W2000564974C189950617 @default.
- W2000564974 hasConceptScore W2000564974C199360897 @default.
- W2000564974 hasConceptScore W2000564974C201677973 @default.
- W2000564974 hasConceptScore W2000564974C41008148 @default.
- W2000564974 hasConceptScore W2000564974C55439883 @default.
- W2000564974 hasConceptScore W2000564974C84651959 @default.
- W2000564974 hasConceptScore W2000564974C90069079 @default.
- W2000564974 hasConceptScore W2000564974C90483712 @default.
- W2000564974 hasLocation W20005649741 @default.
- W2000564974 hasLocation W20005649742 @default.
- W2000564974 hasOpenAccess W2000564974 @default.
- W2000564974 hasPrimaryLocation W20005649741 @default.
- W2000564974 hasRelatedWork W126120407 @default.
- W2000564974 hasRelatedWork W1977144985 @default.
- W2000564974 hasRelatedWork W2000564974 @default.
- W2000564974 hasRelatedWork W2112031719 @default.
- W2000564974 hasRelatedWork W2151688527 @default.
- W2000564974 hasRelatedWork W2162611322 @default.
- W2000564974 hasRelatedWork W2164213600 @default.
- W2000564974 hasRelatedWork W2364870005 @default.
- W2000564974 hasRelatedWork W2378785653 @default.
- W2000564974 hasRelatedWork W2611109997 @default.
- W2000564974 isParatext "false" @default.
- W2000564974 isRetracted "false" @default.
- W2000564974 magId "2000564974" @default.
- W2000564974 workType "article" @default.