Matches in SemOpenAlex for { <https://semopenalex.org/work/W55013695> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W55013695 abstract "interest in components and composition-related methods is growing rapidly, it is not always clear what the goals (and the corresponding diculties) actually are. If composition is to become central in the future of software engineering, we need to better identify the fundamental issues that are related to it, before we attempt to solve them as they oc- cur in object-oriented systems or in concurrent and reactive systems. In this paper, we present our formulation of some of the composition problems in a context of formal methods and program specication and verication. This formaliza- tion is based on predicate calculus and predicate transform- ers and aims at remaining as general as possible. This way, we hope to better understand some of the fundamental is- sues of composition and component-based reasoning." @default.
- W55013695 created "2016-06-24" @default.
- W55013695 creator A5050778054 @default.
- W55013695 date "2001-01-01" @default.
- W55013695 modified "2023-09-25" @default.
- W55013695 title "Reasoning about Composition: A Predicate Transformer Approach" @default.
- W55013695 cites W1481592367 @default.
- W55013695 cites W1491338101 @default.
- W55013695 cites W1506588809 @default.
- W55013695 cites W1511110335 @default.
- W55013695 cites W1524393370 @default.
- W55013695 cites W1544069804 @default.
- W55013695 cites W1601208182 @default.
- W55013695 cites W1611821911 @default.
- W55013695 cites W1662894986 @default.
- W55013695 cites W1790033198 @default.
- W55013695 cites W1876257578 @default.
- W55013695 cites W1952446601 @default.
- W55013695 cites W1978018931 @default.
- W55013695 cites W2035988561 @default.
- W55013695 cites W2042704814 @default.
- W55013695 cites W2049023360 @default.
- W55013695 cites W2074882845 @default.
- W55013695 cites W2080942132 @default.
- W55013695 cites W2083198934 @default.
- W55013695 cites W2093916942 @default.
- W55013695 cites W2167693991 @default.
- W55013695 cites W2296232480 @default.
- W55013695 cites W833080837 @default.
- W55013695 cites W83426416 @default.
- W55013695 cites W2492286250 @default.
- W55013695 hasPublicationYear "2001" @default.
- W55013695 type Work @default.
- W55013695 sameAs 55013695 @default.
- W55013695 citedByCount "0" @default.
- W55013695 crossrefType "journal-article" @default.
- W55013695 hasAuthorship W55013695A5050778054 @default.
- W55013695 hasConcept C138885662 @default.
- W55013695 hasConcept C140146324 @default.
- W55013695 hasConcept C199360897 @default.
- W55013695 hasConcept C40231798 @default.
- W55013695 hasConcept C41008148 @default.
- W55013695 hasConcept C41895202 @default.
- W55013695 hasConceptScore W55013695C138885662 @default.
- W55013695 hasConceptScore W55013695C140146324 @default.
- W55013695 hasConceptScore W55013695C199360897 @default.
- W55013695 hasConceptScore W55013695C40231798 @default.
- W55013695 hasConceptScore W55013695C41008148 @default.
- W55013695 hasConceptScore W55013695C41895202 @default.
- W55013695 hasOpenAccess W55013695 @default.
- W55013695 hasRelatedWork W1557299972 @default.
- W55013695 hasRelatedWork W1572015924 @default.
- W55013695 hasRelatedWork W1574489046 @default.
- W55013695 hasRelatedWork W161809560 @default.
- W55013695 hasRelatedWork W2145403197 @default.
- W55013695 hasRelatedWork W2199920120 @default.
- W55013695 hasRelatedWork W2279276870 @default.
- W55013695 hasRelatedWork W2524486106 @default.
- W55013695 hasRelatedWork W2550493987 @default.
- W55013695 hasRelatedWork W2963544244 @default.
- W55013695 hasRelatedWork W2990718969 @default.
- W55013695 hasRelatedWork W3039320827 @default.
- W55013695 hasRelatedWork W3089447317 @default.
- W55013695 hasRelatedWork W3102290089 @default.
- W55013695 hasRelatedWork W3159708702 @default.
- W55013695 hasRelatedWork W3200769474 @default.
- W55013695 hasRelatedWork W4707687 @default.
- W55013695 hasRelatedWork W651549231 @default.
- W55013695 hasRelatedWork W2182690430 @default.
- W55013695 hasRelatedWork W316485366 @default.
- W55013695 isParatext "false" @default.
- W55013695 isRetracted "false" @default.
- W55013695 magId "55013695" @default.
- W55013695 workType "article" @default.