FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149238680> ?p ?o ?g. }

• W2149238680 abstract "Design-by-Contract (DbC) gained wide familiarity among software developers for specifying software. It aids in documenting the behaviour of class methods as contracts between clients of the methods (pre-) and their suppliers (post-condition). This not only allows developers to document software behaviour precisely at such a high-level that can more easily be communicated, but also enables the formal verification of the behaviour. In this paper, we provide a comprehensive extension to DbC so that it can also be applied to the level of software architecture design. We illustrate this through our architecture description language XCD. Components in XCD have four different types of interfaces: provided and required interfaces of methods or emitter and consumer interfaces of events where methods/events are contractually specified. Contract specification is separated into functional and interaction contracts thus modularising the functional and interaction component behaviours. Furthermore, treating interaction protocols as connectors, XCD allows to specify connectors with interaction contracts that participating components adhere to. The formal semantics of XCD are defined using Finite State Process (FSP) thus enabling formal analysis of contractually specified software architectures for quality properties, e.g., deadlock." @default.
• W2149238680 created "2016-06-24" @default.
• W2149238680 creator A5014449520 @default.
• W2149238680 creator A5039455399 @default.
• W2149238680 date "2013-09-01" @default.
• W2149238680 modified "2023-09-26" @default.
• W2149238680 title "Towards Design-by-Contract based software architecture design" @default.
• W2149238680 cites W11745342 @default.
• W2149238680 cites W120106741 @default.
• W2149238680 cites W1495143894 @default.
• W2149238680 cites W1548557187 @default.
• W2149238680 cites W1564907586 @default.
• W2149238680 cites W1585197271 @default.
• W2149238680 cites W1785695622 @default.
• W2149238680 cites W1864755515 @default.
• W2149238680 cites W1956759350 @default.
• W2149238680 cites W1964830323 @default.
• W2149238680 cites W2013658284 @default.
• W2149238680 cites W2015280671 @default.
• W2149238680 cites W2015937909 @default.
• W2149238680 cites W2028842229 @default.
• W2149238680 cites W2052363833 @default.
• W2149238680 cites W2060910670 @default.
• W2149238680 cites W2105105771 @default.
• W2149238680 cites W2110425399 @default.
• W2149238680 cites W2115168352 @default.
• W2149238680 cites W2119016176 @default.
• W2149238680 cites W2120787570 @default.
• W2149238680 cites W2125579889 @default.
• W2149238680 cites W2128932399 @default.
• W2149238680 cites W2135670602 @default.
• W2149238680 cites W2137948900 @default.
• W2149238680 cites W2139555094 @default.
• W2149238680 cites W2146082668 @default.
• W2149238680 cites W2146264772 @default.
• W2149238680 cites W2165346443 @default.
• W2149238680 cites W2169924227 @default.
• W2149238680 cites W3144368627 @default.
• W2149238680 cites W3146075203 @default.
• W2149238680 cites W2049295871 @default.
• W2149238680 cites W2483314354 @default.
• W2149238680 doi "https://doi.org/10.1109/somet.2013.6645654" @default.
• W2149238680 hasPublicationYear "2013" @default.
• W2149238680 type Work @default.
• W2149238680 sameAs 2149238680 @default.
• W2149238680 citedByCount "3" @default.
• W2149238680 countsByYear W21492386802014 @default.
• W2149238680 countsByYear W21492386802016 @default.
• W2149238680 countsByYear W21492386802018 @default.
• W2149238680 crossrefType "proceedings-article" @default.
• W2149238680 hasAuthorship W2149238680A5014449520 @default.
• W2149238680 hasAuthorship W2149238680A5039455399 @default.
• W2149238680 hasBestOaLocation W21492386802 @default.
• W2149238680 hasConcept C115903868 @default.
• W2149238680 hasConcept C116253237 @default.
• W2149238680 hasConcept C159023740 @default.
• W2149238680 hasConcept C186846655 @default.
• W2149238680 hasConcept C199360897 @default.
• W2149238680 hasConcept C2777904410 @default.
• W2149238680 hasConcept C35869016 @default.
• W2149238680 hasConcept C41008148 @default.
• W2149238680 hasConcept C52913732 @default.
• W2149238680 hasConcept C529173508 @default.
• W2149238680 hasConcept C80291951 @default.
• W2149238680 hasConceptScore W2149238680C115903868 @default.
• W2149238680 hasConceptScore W2149238680C116253237 @default.
• W2149238680 hasConceptScore W2149238680C159023740 @default.
• W2149238680 hasConceptScore W2149238680C186846655 @default.
• W2149238680 hasConceptScore W2149238680C199360897 @default.
• W2149238680 hasConceptScore W2149238680C2777904410 @default.
• W2149238680 hasConceptScore W2149238680C35869016 @default.
• W2149238680 hasConceptScore W2149238680C41008148 @default.
• W2149238680 hasConceptScore W2149238680C52913732 @default.
• W2149238680 hasConceptScore W2149238680C529173508 @default.
• W2149238680 hasConceptScore W2149238680C80291951 @default.
• W2149238680 hasLocation W21492386801 @default.
• W2149238680 hasLocation W21492386802 @default.
• W2149238680 hasLocation W21492386803 @default.
• W2149238680 hasOpenAccess W2149238680 @default.
• W2149238680 hasPrimaryLocation W21492386801 @default.
• W2149238680 hasRelatedWork W1502686851 @default.
• W2149238680 hasRelatedWork W1503319068 @default.
• W2149238680 hasRelatedWork W1592887751 @default.
• W2149238680 hasRelatedWork W1648468328 @default.
• W2149238680 hasRelatedWork W2018648477 @default.
• W2149238680 hasRelatedWork W2042639602 @default.
• W2149238680 hasRelatedWork W2081105739 @default.
• W2149238680 hasRelatedWork W2096803479 @default.
• W2149238680 hasRelatedWork W2099746723 @default.
• W2149238680 hasRelatedWork W2100793242 @default.
• W2149238680 hasRelatedWork W2107978050 @default.
• W2149238680 hasRelatedWork W2125600988 @default.
• W2149238680 hasRelatedWork W2126313078 @default.
• W2149238680 hasRelatedWork W2137222951 @default.
• W2149238680 hasRelatedWork W2161699723 @default.
• W2149238680 hasRelatedWork W2163884281 @default.
• W2149238680 hasRelatedWork W2252712587 @default.
• W2149238680 hasRelatedWork W2541126319 @default.
• W2149238680 hasRelatedWork W2755115812 @default.
• W2149238680 hasRelatedWork W3106427844 @default.

• next