Matches in SemOpenAlex for { <https://semopenalex.org/work/W3020043211> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W3020043211 abstract "The paradigm of contractual specification provides a transparent way of specifying object-oriented systems. In this paradigm, system consistency is specified using so-called invariants. Runtime val..." @default.
- W3020043211 created "2020-05-01" @default.
- W3020043211 creator A5066199975 @default.
- W3020043211 date "2013-04-01" @default.
- W3020043211 modified "2023-09-26" @default.
- W3020043211 title "On the Validation of Invariants at Runtime" @default.
- W3020043211 doi "https://doi.org/10.5555/2594934.2594939" @default.
- W3020043211 hasPublicationYear "2013" @default.
- W3020043211 type Work @default.
- W3020043211 sameAs 3020043211 @default.
- W3020043211 citedByCount "0" @default.
- W3020043211 crossrefType "journal-article" @default.
- W3020043211 hasAuthorship W3020043211A5066199975 @default.
- W3020043211 hasConcept C115903868 @default.
- W3020043211 hasConcept C199360897 @default.
- W3020043211 hasConcept C41008148 @default.
- W3020043211 hasConceptScore W3020043211C115903868 @default.
- W3020043211 hasConceptScore W3020043211C199360897 @default.
- W3020043211 hasConceptScore W3020043211C41008148 @default.
- W3020043211 hasLocation W30200432111 @default.
- W3020043211 hasOpenAccess W3020043211 @default.
- W3020043211 hasPrimaryLocation W30200432111 @default.
- W3020043211 hasRelatedWork W1183828699 @default.
- W3020043211 hasRelatedWork W1541808425 @default.
- W3020043211 hasRelatedWork W1568964221 @default.
- W3020043211 hasRelatedWork W1597813565 @default.
- W3020043211 hasRelatedWork W1606461502 @default.
- W3020043211 hasRelatedWork W172108143 @default.
- W3020043211 hasRelatedWork W1965072772 @default.
- W3020043211 hasRelatedWork W1965551111 @default.
- W3020043211 hasRelatedWork W1968932663 @default.
- W3020043211 hasRelatedWork W1999298205 @default.
- W3020043211 hasRelatedWork W2044561940 @default.
- W3020043211 hasRelatedWork W2125935418 @default.
- W3020043211 hasRelatedWork W2128914037 @default.
- W3020043211 hasRelatedWork W2134593176 @default.
- W3020043211 hasRelatedWork W2165418237 @default.
- W3020043211 hasRelatedWork W2223159144 @default.
- W3020043211 hasRelatedWork W2248653679 @default.
- W3020043211 hasRelatedWork W2943229231 @default.
- W3020043211 hasRelatedWork W2989549288 @default.
- W3020043211 hasRelatedWork W2181355755 @default.
- W3020043211 isParatext "false" @default.
- W3020043211 isRetracted "false" @default.
- W3020043211 magId "3020043211" @default.
- W3020043211 workType "article" @default.