Matches in SemOpenAlex for { <https://semopenalex.org/work/W2492340367> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2492340367 abstract "So far, our focus has been on vertical refinement, i.e. the development of a fine-grained specification out of a more abstract one. Especially in the field of UML, however, a second kind of refinement is of particular interest: horizontal or intra-model refinement. Horizontal refinement deals with the consistency between different description means on the same level of abstraction." @default.
- W2492340367 created "2016-08-23" @default.
- W2492340367 creator A5004214923 @default.
- W2492340367 creator A5027883700 @default.
- W2492340367 creator A5071742136 @default.
- W2492340367 date "2016-07-05" @default.
- W2492340367 modified "2023-09-27" @default.
- W2492340367 title "Verification of Horizontal Refinement" @default.
- W2492340367 cites W1479736339 @default.
- W2492340367 cites W1489862800 @default.
- W2492340367 cites W1497908134 @default.
- W2492340367 cites W2178736915 @default.
- W2492340367 cites W2994267114 @default.
- W2492340367 cites W4242584075 @default.
- W2492340367 doi "https://doi.org/10.1007/978-3-319-41480-5_6" @default.
- W2492340367 hasPublicationYear "2016" @default.
- W2492340367 type Work @default.
- W2492340367 sameAs 2492340367 @default.
- W2492340367 citedByCount "0" @default.
- W2492340367 crossrefType "book-chapter" @default.
- W2492340367 hasAuthorship W2492340367A5004214923 @default.
- W2492340367 hasAuthorship W2492340367A5027883700 @default.
- W2492340367 hasAuthorship W2492340367A5071742136 @default.
- W2492340367 hasConcept C111472728 @default.
- W2492340367 hasConcept C120665830 @default.
- W2492340367 hasConcept C121332964 @default.
- W2492340367 hasConcept C124304363 @default.
- W2492340367 hasConcept C127313418 @default.
- W2492340367 hasConcept C13280743 @default.
- W2492340367 hasConcept C138885662 @default.
- W2492340367 hasConcept C145644426 @default.
- W2492340367 hasConcept C154945302 @default.
- W2492340367 hasConcept C192209626 @default.
- W2492340367 hasConcept C199360897 @default.
- W2492340367 hasConcept C2776436953 @default.
- W2492340367 hasConcept C2777904410 @default.
- W2492340367 hasConcept C41008148 @default.
- W2492340367 hasConcept C59218005 @default.
- W2492340367 hasConcept C90483712 @default.
- W2492340367 hasConceptScore W2492340367C111472728 @default.
- W2492340367 hasConceptScore W2492340367C120665830 @default.
- W2492340367 hasConceptScore W2492340367C121332964 @default.
- W2492340367 hasConceptScore W2492340367C124304363 @default.
- W2492340367 hasConceptScore W2492340367C127313418 @default.
- W2492340367 hasConceptScore W2492340367C13280743 @default.
- W2492340367 hasConceptScore W2492340367C138885662 @default.
- W2492340367 hasConceptScore W2492340367C145644426 @default.
- W2492340367 hasConceptScore W2492340367C154945302 @default.
- W2492340367 hasConceptScore W2492340367C192209626 @default.
- W2492340367 hasConceptScore W2492340367C199360897 @default.
- W2492340367 hasConceptScore W2492340367C2776436953 @default.
- W2492340367 hasConceptScore W2492340367C2777904410 @default.
- W2492340367 hasConceptScore W2492340367C41008148 @default.
- W2492340367 hasConceptScore W2492340367C59218005 @default.
- W2492340367 hasConceptScore W2492340367C90483712 @default.
- W2492340367 hasLocation W24923403671 @default.
- W2492340367 hasOpenAccess W2492340367 @default.
- W2492340367 hasPrimaryLocation W24923403671 @default.
- W2492340367 hasRelatedWork W2066338437 @default.
- W2492340367 hasRelatedWork W2164357865 @default.
- W2492340367 hasRelatedWork W2335410445 @default.
- W2492340367 hasRelatedWork W2340929031 @default.
- W2492340367 hasRelatedWork W3030870657 @default.
- W2492340367 isParatext "false" @default.
- W2492340367 isRetracted "false" @default.
- W2492340367 magId "2492340367" @default.
- W2492340367 workType "book-chapter" @default.