Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130705178> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2130705178 abstract "Traditional notions of refinement of algebraic specifications, based on signature morphisms, are often too rigid to capture a number of relevant transformations in the context of software design, reuse and adaptation. This paper proposes an alternative notion of specification refinement, building on recent work on logic interpretation. The concept is discussed, its theory partially developed, its use illustrated through a number of examples." @default.
- W2130705178 created "2016-06-24" @default.
- W2130705178 creator A5008953592 @default.
- W2130705178 creator A5031060439 @default.
- W2130705178 creator A5062334330 @default.
- W2130705178 date "2009-01-01" @default.
- W2130705178 modified "2023-10-18" @default.
- W2130705178 title "Refinement via Interpretation" @default.
- W2130705178 cites W1529044004 @default.
- W2130705178 cites W1573560425 @default.
- W2130705178 cites W1599991857 @default.
- W2130705178 cites W2000825654 @default.
- W2130705178 cites W2010883554 @default.
- W2130705178 cites W2031740403 @default.
- W2130705178 cites W2039975294 @default.
- W2130705178 cites W2075642720 @default.
- W2130705178 cites W2126774816 @default.
- W2130705178 cites W2154399883 @default.
- W2130705178 cites W2504628446 @default.
- W2130705178 cites W3021158638 @default.
- W2130705178 cites W4213219894 @default.
- W2130705178 cites W4252113473 @default.
- W2130705178 doi "https://doi.org/10.1109/sefm.2009.35" @default.
- W2130705178 hasPublicationYear "2009" @default.
- W2130705178 type Work @default.
- W2130705178 sameAs 2130705178 @default.
- W2130705178 citedByCount "7" @default.
- W2130705178 countsByYear W21307051782013 @default.
- W2130705178 countsByYear W21307051782014 @default.
- W2130705178 countsByYear W21307051782016 @default.
- W2130705178 crossrefType "proceedings-article" @default.
- W2130705178 hasAuthorship W2130705178A5008953592 @default.
- W2130705178 hasAuthorship W2130705178A5031060439 @default.
- W2130705178 hasAuthorship W2130705178A5062334330 @default.
- W2130705178 hasBestOaLocation W21307051782 @default.
- W2130705178 hasConcept C114614502 @default.
- W2130705178 hasConcept C120665830 @default.
- W2130705178 hasConcept C121332964 @default.
- W2130705178 hasConcept C127413603 @default.
- W2130705178 hasConcept C137212723 @default.
- W2130705178 hasConcept C139807058 @default.
- W2130705178 hasConcept C151730666 @default.
- W2130705178 hasConcept C199360897 @default.
- W2130705178 hasConcept C206588197 @default.
- W2130705178 hasConcept C2524010 @default.
- W2130705178 hasConcept C2779343474 @default.
- W2130705178 hasConcept C2779696439 @default.
- W2130705178 hasConcept C2780654840 @default.
- W2130705178 hasConcept C33923547 @default.
- W2130705178 hasConcept C41008148 @default.
- W2130705178 hasConcept C527412718 @default.
- W2130705178 hasConcept C548081761 @default.
- W2130705178 hasConcept C80444323 @default.
- W2130705178 hasConcept C86803240 @default.
- W2130705178 hasConcept C90483712 @default.
- W2130705178 hasConceptScore W2130705178C114614502 @default.
- W2130705178 hasConceptScore W2130705178C120665830 @default.
- W2130705178 hasConceptScore W2130705178C121332964 @default.
- W2130705178 hasConceptScore W2130705178C127413603 @default.
- W2130705178 hasConceptScore W2130705178C137212723 @default.
- W2130705178 hasConceptScore W2130705178C139807058 @default.
- W2130705178 hasConceptScore W2130705178C151730666 @default.
- W2130705178 hasConceptScore W2130705178C199360897 @default.
- W2130705178 hasConceptScore W2130705178C206588197 @default.
- W2130705178 hasConceptScore W2130705178C2524010 @default.
- W2130705178 hasConceptScore W2130705178C2779343474 @default.
- W2130705178 hasConceptScore W2130705178C2779696439 @default.
- W2130705178 hasConceptScore W2130705178C2780654840 @default.
- W2130705178 hasConceptScore W2130705178C33923547 @default.
- W2130705178 hasConceptScore W2130705178C41008148 @default.
- W2130705178 hasConceptScore W2130705178C527412718 @default.
- W2130705178 hasConceptScore W2130705178C548081761 @default.
- W2130705178 hasConceptScore W2130705178C80444323 @default.
- W2130705178 hasConceptScore W2130705178C86803240 @default.
- W2130705178 hasConceptScore W2130705178C90483712 @default.
- W2130705178 hasLocation W21307051781 @default.
- W2130705178 hasLocation W21307051782 @default.
- W2130705178 hasLocation W21307051783 @default.
- W2130705178 hasOpenAccess W2130705178 @default.
- W2130705178 hasPrimaryLocation W21307051781 @default.
- W2130705178 hasRelatedWork W2074638034 @default.
- W2130705178 hasRelatedWork W2172022734 @default.
- W2130705178 hasRelatedWork W2363427312 @default.
- W2130705178 hasRelatedWork W2386369021 @default.
- W2130705178 hasRelatedWork W2952657391 @default.
- W2130705178 hasRelatedWork W3102490864 @default.
- W2130705178 hasRelatedWork W3137189469 @default.
- W2130705178 hasRelatedWork W3169777496 @default.
- W2130705178 hasRelatedWork W4245681215 @default.
- W2130705178 hasRelatedWork W4301430421 @default.
- W2130705178 isParatext "false" @default.
- W2130705178 isRetracted "false" @default.
- W2130705178 magId "2130705178" @default.
- W2130705178 workType "article" @default.