Matches in SemOpenAlex for { <https://semopenalex.org/work/W2941454357> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2941454357 endingPage "206" @default.
- W2941454357 startingPage "195" @default.
- W2941454357 abstract "Much of what drove us in over twenty years of research in refinement, starting with Z in particular, was the desire to understand where refinement rules came from. The relational model of refinement provided a solid starting point which allowed the derivation of Z refinement rules. Not only did this explain and verify the existing rules—more importantly, it also allowed alternative derivations for different and generalised notions of refinement. In this chapter, we briefly describe the context of our early efforts in this area and Susan Stepney’s role in this, before moving on to the motivation and exploration of a recently developed primitive model of refinement: concrete state machines with anonymous transitions." @default.
- W2941454357 created "2019-05-03" @default.
- W2941454357 creator A5059470549 @default.
- W2941454357 creator A5060549428 @default.
- W2941454357 date "2019-04-17" @default.
- W2941454357 modified "2023-09-27" @default.
- W2941454357 title "Understanding, Explaining, and Deriving Refinement" @default.
- W2941454357 cites W1481411992 @default.
- W2941454357 cites W1493315919 @default.
- W2941454357 cites W1581884822 @default.
- W2941454357 cites W1980412257 @default.
- W2941454357 cites W2000939935 @default.
- W2941454357 cites W2005952505 @default.
- W2941454357 cites W2007167977 @default.
- W2941454357 cites W2009752377 @default.
- W2941454357 cites W2038167407 @default.
- W2941454357 cites W2048884567 @default.
- W2941454357 cites W2083131134 @default.
- W2941454357 cites W2084161330 @default.
- W2941454357 cites W2124873137 @default.
- W2941454357 cites W2132107743 @default.
- W2941454357 cites W2160613322 @default.
- W2941454357 cites W2500079794 @default.
- W2941454357 cites W2501364339 @default.
- W2941454357 cites W3146524605 @default.
- W2941454357 cites W4244819751 @default.
- W2941454357 cites W4245004478 @default.
- W2941454357 cites W75234988 @default.
- W2941454357 doi "https://doi.org/10.1007/978-3-030-15792-0_8" @default.
- W2941454357 hasPublicationYear "2019" @default.
- W2941454357 type Work @default.
- W2941454357 sameAs 2941454357 @default.
- W2941454357 citedByCount "0" @default.
- W2941454357 crossrefType "book-chapter" @default.
- W2941454357 hasAuthorship W2941454357A5059470549 @default.
- W2941454357 hasAuthorship W2941454357A5060549428 @default.
- W2941454357 hasBestOaLocation W29414543572 @default.
- W2941454357 hasConcept C11413529 @default.
- W2941454357 hasConcept C166957645 @default.
- W2941454357 hasConcept C205649164 @default.
- W2941454357 hasConcept C2524010 @default.
- W2941454357 hasConcept C2779343474 @default.
- W2941454357 hasConcept C28719098 @default.
- W2941454357 hasConcept C33923547 @default.
- W2941454357 hasConcept C41008148 @default.
- W2941454357 hasConcept C48103436 @default.
- W2941454357 hasConcept C80444323 @default.
- W2941454357 hasConcept C90483712 @default.
- W2941454357 hasConceptScore W2941454357C11413529 @default.
- W2941454357 hasConceptScore W2941454357C166957645 @default.
- W2941454357 hasConceptScore W2941454357C205649164 @default.
- W2941454357 hasConceptScore W2941454357C2524010 @default.
- W2941454357 hasConceptScore W2941454357C2779343474 @default.
- W2941454357 hasConceptScore W2941454357C28719098 @default.
- W2941454357 hasConceptScore W2941454357C33923547 @default.
- W2941454357 hasConceptScore W2941454357C41008148 @default.
- W2941454357 hasConceptScore W2941454357C48103436 @default.
- W2941454357 hasConceptScore W2941454357C80444323 @default.
- W2941454357 hasConceptScore W2941454357C90483712 @default.
- W2941454357 hasLocation W29414543571 @default.
- W2941454357 hasLocation W29414543572 @default.
- W2941454357 hasOpenAccess W2941454357 @default.
- W2941454357 hasPrimaryLocation W29414543571 @default.
- W2941454357 hasRelatedWork W1540922403 @default.
- W2941454357 hasRelatedWork W1974190782 @default.
- W2941454357 hasRelatedWork W2015491864 @default.
- W2941454357 hasRelatedWork W2235062249 @default.
- W2941454357 hasRelatedWork W2376345092 @default.
- W2941454357 hasRelatedWork W2520924658 @default.
- W2941454357 hasRelatedWork W2560548648 @default.
- W2941454357 hasRelatedWork W2595191507 @default.
- W2941454357 hasRelatedWork W2743515745 @default.
- W2941454357 hasRelatedWork W2071345042 @default.
- W2941454357 isParatext "false" @default.
- W2941454357 isRetracted "false" @default.
- W2941454357 magId "2941454357" @default.
- W2941454357 workType "book-chapter" @default.