FRINK Linked Data Fragments server

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

• W1569224244 abstract "Although invariants have a long history, their meaning in OO designs is still under discussion. OO designs often include functionality that is used by different otherwise unrelated objects (shared functionality). We identify a problem with current interpretations of invariants in such designs. OO designs are often layered, where a layer uses functionality of a lower layer (in particular, shared functionality) but has little or no involvement with higher layers. As a result, higher layers can rely on lower layer invariants and lower layers do not rely on higher layer invariants. This is not reflected by current interpretations of invariants. We propose to make layers explicit in specifications and introduce a new interpretation of invariants that exploits these layers. Furthermore, we present a sound, modular verification technique that ensures the new interpretation is satisfied." @default.
• W1569224244 created "2016-06-24" @default.
• W1569224244 creator A5008245367 @default.
• W1569224244 creator A5029221310 @default.
• W1569224244 creator A5039122686 @default.
• W1569224244 creator A5076427145 @default.
• W1569224244 date "2008-01-01" @default.
• W1569224244 modified "2023-09-23" @default.
• W1569224244 title "A proof system for invariants in layered OO designs" @default.
• W1569224244 cites W1489778371 @default.
• W1569224244 cites W1518695183 @default.
• W1569224244 cites W1553421328 @default.
• W1569224244 cites W1573044584 @default.
• W1569224244 cites W1583095677 @default.
• W1569224244 cites W1593874741 @default.
• W1569224244 cites W1649645444 @default.
• W1569224244 cites W1783929070 @default.
• W1569224244 cites W1807498156 @default.
• W1569224244 cites W1872021412 @default.
• W1569224244 cites W1959256509 @default.
• W1569224244 cites W1978303100 @default.
• W1569224244 cites W1986079879 @default.
• W1569224244 cites W2103591546 @default.
• W1569224244 cites W2104072291 @default.
• W1569224244 cites W2110050316 @default.
• W1569224244 cites W2122291521 @default.
• W1569224244 cites W2134119432 @default.
• W1569224244 cites W2135161869 @default.
• W1569224244 cites W2138652462 @default.
• W1569224244 cites W2138855072 @default.
• W1569224244 cites W2151131364 @default.
• W1569224244 cites W2478146632 @default.
• W1569224244 hasPublicationYear "2008" @default.
• W1569224244 type Work @default.
• W1569224244 sameAs 1569224244 @default.
• W1569224244 citedByCount "1" @default.
• W1569224244 crossrefType "journal-article" @default.
• W1569224244 hasAuthorship W1569224244A5008245367 @default.
• W1569224244 hasAuthorship W1569224244A5029221310 @default.
• W1569224244 hasAuthorship W1569224244A5039122686 @default.
• W1569224244 hasAuthorship W1569224244A5076427145 @default.
• W1569224244 hasConcept C101468663 @default.
• W1569224244 hasConcept C119599485 @default.
• W1569224244 hasConcept C127413603 @default.
• W1569224244 hasConcept C136119220 @default.
• W1569224244 hasConcept C148043351 @default.
• W1569224244 hasConcept C165696696 @default.
• W1569224244 hasConcept C178790620 @default.
• W1569224244 hasConcept C185592680 @default.
• W1569224244 hasConcept C199360897 @default.
• W1569224244 hasConcept C202444582 @default.
• W1569224244 hasConcept C2779227376 @default.
• W1569224244 hasConcept C2780654840 @default.
• W1569224244 hasConcept C33923547 @default.
• W1569224244 hasConcept C38652104 @default.
• W1569224244 hasConcept C41008148 @default.
• W1569224244 hasConcept C527412718 @default.
• W1569224244 hasConcept C80444323 @default.
• W1569224244 hasConceptScore W1569224244C101468663 @default.
• W1569224244 hasConceptScore W1569224244C119599485 @default.
• W1569224244 hasConceptScore W1569224244C127413603 @default.
• W1569224244 hasConceptScore W1569224244C136119220 @default.
• W1569224244 hasConceptScore W1569224244C148043351 @default.
• W1569224244 hasConceptScore W1569224244C165696696 @default.
• W1569224244 hasConceptScore W1569224244C178790620 @default.
• W1569224244 hasConceptScore W1569224244C185592680 @default.
• W1569224244 hasConceptScore W1569224244C199360897 @default.
• W1569224244 hasConceptScore W1569224244C202444582 @default.
• W1569224244 hasConceptScore W1569224244C2779227376 @default.
• W1569224244 hasConceptScore W1569224244C2780654840 @default.
• W1569224244 hasConceptScore W1569224244C33923547 @default.
• W1569224244 hasConceptScore W1569224244C38652104 @default.
• W1569224244 hasConceptScore W1569224244C41008148 @default.
• W1569224244 hasConceptScore W1569224244C527412718 @default.
• W1569224244 hasConceptScore W1569224244C80444323 @default.
• W1569224244 hasOpenAccess W1569224244 @default.
• W1569224244 hasRelatedWork W1491971978 @default.
• W1569224244 hasRelatedWork W1508756608 @default.
• W1569224244 hasRelatedWork W1542835661 @default.
• W1569224244 hasRelatedWork W1558410109 @default.
• W1569224244 hasRelatedWork W1602755719 @default.
• W1569224244 hasRelatedWork W1864217700 @default.
• W1569224244 hasRelatedWork W1993631104 @default.
• W1569224244 hasRelatedWork W2089646912 @default.
• W1569224244 hasRelatedWork W2117477573 @default.
• W1569224244 hasRelatedWork W2120674310 @default.
• W1569224244 hasRelatedWork W2123709269 @default.
• W1569224244 hasRelatedWork W2130540732 @default.
• W1569224244 hasRelatedWork W2146404976 @default.
• W1569224244 hasRelatedWork W2163870768 @default.
• W1569224244 hasRelatedWork W2168068258 @default.
• W1569224244 hasRelatedWork W2539959346 @default.
• W1569224244 hasRelatedWork W266966937 @default.
• W1569224244 hasRelatedWork W291049477 @default.
• W1569224244 hasRelatedWork W57122139 @default.
• W1569224244 hasRelatedWork W1581021291 @default.
• W1569224244 hasVolume "0801" @default.
• W1569224244 isParatext "false" @default.
• W1569224244 isRetracted "false" @default.
• W1569224244 magId "1569224244" @default.

• next