Matches in SemOpenAlex for { <https://semopenalex.org/work/W2954065621> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2954065621 abstract "Targeting to use contract-based design for the specification and refinement of extra-functional properties, this research abstract suggests to use type constraints and dependent types to ensure correct and consistent top-down decomposition of contracts with respect to a specifiable type constructor. For this, we summarize the composition problem and give a short draft of our approach, called Structural Contracts." @default.
- W2954065621 created "2019-07-12" @default.
- W2954065621 creator A5075671431 @default.
- W2954065621 date "2019-06-26" @default.
- W2954065621 modified "2023-09-27" @default.
- W2954065621 title "Structural Contracts - Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning." @default.
- W2954065621 cites W2432921887 @default.
- W2954065621 cites W2619884333 @default.
- W2954065621 cites W2798762912 @default.
- W2954065621 cites W2264340030 @default.
- W2954065621 hasPublicationYear "2019" @default.
- W2954065621 type Work @default.
- W2954065621 sameAs 2954065621 @default.
- W2954065621 citedByCount "0" @default.
- W2954065621 crossrefType "posted-content" @default.
- W2954065621 hasAuthorship W2954065621A5075671431 @default.
- W2954065621 hasConcept C124681953 @default.
- W2954065621 hasConcept C138885662 @default.
- W2954065621 hasConcept C154945302 @default.
- W2954065621 hasConcept C178790620 @default.
- W2954065621 hasConcept C185592680 @default.
- W2954065621 hasConcept C18903297 @default.
- W2954065621 hasConcept C2776436953 @default.
- W2954065621 hasConcept C2777299769 @default.
- W2954065621 hasConcept C2992755051 @default.
- W2954065621 hasConcept C40231798 @default.
- W2954065621 hasConcept C41008148 @default.
- W2954065621 hasConcept C41895202 @default.
- W2954065621 hasConcept C8010536 @default.
- W2954065621 hasConcept C86803240 @default.
- W2954065621 hasConceptScore W2954065621C124681953 @default.
- W2954065621 hasConceptScore W2954065621C138885662 @default.
- W2954065621 hasConceptScore W2954065621C154945302 @default.
- W2954065621 hasConceptScore W2954065621C178790620 @default.
- W2954065621 hasConceptScore W2954065621C185592680 @default.
- W2954065621 hasConceptScore W2954065621C18903297 @default.
- W2954065621 hasConceptScore W2954065621C2776436953 @default.
- W2954065621 hasConceptScore W2954065621C2777299769 @default.
- W2954065621 hasConceptScore W2954065621C2992755051 @default.
- W2954065621 hasConceptScore W2954065621C40231798 @default.
- W2954065621 hasConceptScore W2954065621C41008148 @default.
- W2954065621 hasConceptScore W2954065621C41895202 @default.
- W2954065621 hasConceptScore W2954065621C8010536 @default.
- W2954065621 hasConceptScore W2954065621C86803240 @default.
- W2954065621 hasLocation W29540656211 @default.
- W2954065621 hasOpenAccess W2954065621 @default.
- W2954065621 hasPrimaryLocation W29540656211 @default.
- W2954065621 hasRelatedWork W125436324 @default.
- W2954065621 hasRelatedWork W1583660160 @default.
- W2954065621 hasRelatedWork W180172647 @default.
- W2954065621 hasRelatedWork W1965387958 @default.
- W2954065621 hasRelatedWork W2025172542 @default.
- W2954065621 hasRelatedWork W2040615980 @default.
- W2954065621 hasRelatedWork W2150914758 @default.
- W2954065621 hasRelatedWork W2466231745 @default.
- W2954065621 hasRelatedWork W260230765 @default.
- W2954065621 hasRelatedWork W2769027613 @default.
- W2954065621 hasRelatedWork W2948128287 @default.
- W2954065621 hasRelatedWork W2963849525 @default.
- W2954065621 hasRelatedWork W3021653237 @default.
- W2954065621 hasRelatedWork W3091938314 @default.
- W2954065621 hasRelatedWork W3095899133 @default.
- W2954065621 hasRelatedWork W3121714553 @default.
- W2954065621 hasRelatedWork W3141090108 @default.
- W2954065621 hasRelatedWork W335997796 @default.
- W2954065621 hasRelatedWork W66349766 @default.
- W2954065621 hasRelatedWork W2611707352 @default.
- W2954065621 isParatext "false" @default.
- W2954065621 isRetracted "false" @default.
- W2954065621 magId "2954065621" @default.
- W2954065621 workType "article" @default.