FRINK Linked Data Fragments server

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

• W1944072015 endingPage "599" @default.
• W1944072015 startingPage "583" @default.
• W1944072015 abstract "In design by contract (DBC), assertions are typically written using program variables and query methods. The lack of separation between program code and assertions is confusing, because readers do not know what code is intended for use in the program and what code is only intended for specification purposes. This lack of separation also creates a potential runtime performance penalty, even when runtime assertion checks are disabled, due to both the increased memory footprint of the program and the execution of code maintaining that part of the program's state intended for use in specifications. To solve these problems, we present a new way of writing and checking DBC assertions without directly referring to concrete program states, using ‘model’, i.e. specification-only, variables and methods. The use of model variables and methods does not incur the problems mentioned above, but it also allow one to write more easily assertions that are abstract, concise, and independent of representation details, and hence more readable and maintainable. We implemented these features in the runtime assertion checker for the Java Modeling Language (JML), but the approach could also be implemented in other DBC tools. Copyright © 2005 John Wiley & Sons, Ltd." @default.
• W1944072015 created "2016-06-24" @default.
• W1944072015 creator A5014066009 @default.
• W1944072015 creator A5017149388 @default.
• W1944072015 creator A5047326006 @default.
• W1944072015 creator A5076981879 @default.
• W1944072015 date "2005-05-01" @default.
• W1944072015 modified "2023-10-17" @default.
• W1944072015 title "Model variables: cleanly supporting abstraction in design by contract: Research Articles" @default.
• W1944072015 cites W1552393538 @default.
• W1944072015 cites W1583095677 @default.
• W1944072015 cites W1583826417 @default.
• W1944072015 cites W1584285747 @default.
• W1944072015 cites W169401469 @default.
• W1944072015 cites W2052363833 @default.
• W1944072015 cites W2090741114 @default.
• W1944072015 cites W2091089602 @default.
• W1944072015 cites W2096160130 @default.
• W1944072015 cites W2105142318 @default.
• W1944072015 cites W2107778618 @default.
• W1944072015 cites W2117869045 @default.
• W1944072015 cites W2121953666 @default.
• W1944072015 cites W2134338128 @default.
• W1944072015 cites W2136371406 @default.
• W1944072015 cites W2152929251 @default.
• W1944072015 cites W2158376721 @default.
• W1944072015 cites W2158641382 @default.
• W1944072015 cites W2474721377 @default.
• W1944072015 hasPublicationYear "2005" @default.
• W1944072015 type Work @default.
• W1944072015 sameAs 1944072015 @default.
• W1944072015 citedByCount "13" @default.
• W1944072015 countsByYear W19440720152012 @default.
• W1944072015 countsByYear W19440720152013 @default.
• W1944072015 countsByYear W19440720152014 @default.
• W1944072015 crossrefType "journal-article" @default.
• W1944072015 hasAuthorship W1944072015A5014066009 @default.
• W1944072015 hasAuthorship W1944072015A5017149388 @default.
• W1944072015 hasAuthorship W1944072015A5047326006 @default.
• W1944072015 hasAuthorship W1944072015A5076981879 @default.
• W1944072015 hasConcept C111472728 @default.
• W1944072015 hasConcept C124304363 @default.
• W1944072015 hasConcept C132106392 @default.
• W1944072015 hasConcept C138885662 @default.
• W1944072015 hasConcept C168702491 @default.
• W1944072015 hasConcept C177264268 @default.
• W1944072015 hasConcept C17744445 @default.
• W1944072015 hasConcept C186846655 @default.
• W1944072015 hasConcept C199360897 @default.
• W1944072015 hasConcept C199539241 @default.
• W1944072015 hasConcept C2776359362 @default.
• W1944072015 hasConcept C2776760102 @default.
• W1944072015 hasConcept C2777904410 @default.
• W1944072015 hasConcept C40422974 @default.
• W1944072015 hasConcept C41008148 @default.
• W1944072015 hasConcept C529173508 @default.
• W1944072015 hasConcept C548217200 @default.
• W1944072015 hasConcept C60945770 @default.
• W1944072015 hasConcept C80291951 @default.
• W1944072015 hasConcept C94625758 @default.
• W1944072015 hasConceptScore W1944072015C111472728 @default.
• W1944072015 hasConceptScore W1944072015C124304363 @default.
• W1944072015 hasConceptScore W1944072015C132106392 @default.
• W1944072015 hasConceptScore W1944072015C138885662 @default.
• W1944072015 hasConceptScore W1944072015C168702491 @default.
• W1944072015 hasConceptScore W1944072015C177264268 @default.
• W1944072015 hasConceptScore W1944072015C17744445 @default.
• W1944072015 hasConceptScore W1944072015C186846655 @default.
• W1944072015 hasConceptScore W1944072015C199360897 @default.
• W1944072015 hasConceptScore W1944072015C199539241 @default.
• W1944072015 hasConceptScore W1944072015C2776359362 @default.
• W1944072015 hasConceptScore W1944072015C2776760102 @default.
• W1944072015 hasConceptScore W1944072015C2777904410 @default.
• W1944072015 hasConceptScore W1944072015C40422974 @default.
• W1944072015 hasConceptScore W1944072015C41008148 @default.
• W1944072015 hasConceptScore W1944072015C529173508 @default.
• W1944072015 hasConceptScore W1944072015C548217200 @default.
• W1944072015 hasConceptScore W1944072015C60945770 @default.
• W1944072015 hasConceptScore W1944072015C80291951 @default.
• W1944072015 hasConceptScore W1944072015C94625758 @default.
• W1944072015 hasIssue "6" @default.
• W1944072015 hasLocation W19440720151 @default.
• W1944072015 hasOpenAccess W1944072015 @default.
• W1944072015 hasPrimaryLocation W19440720151 @default.
• W1944072015 hasRelatedWork W1480909796 @default.
• W1944072015 hasRelatedWork W1519557925 @default.
• W1944072015 hasRelatedWork W1520219428 @default.
• W1944072015 hasRelatedWork W1557905401 @default.
• W1944072015 hasRelatedWork W1807498156 @default.
• W1944072015 hasRelatedWork W1959256509 @default.
• W1944072015 hasRelatedWork W1977978965 @default.
• W1944072015 hasRelatedWork W1985263153 @default.
• W1944072015 hasRelatedWork W1993836075 @default.
• W1944072015 hasRelatedWork W2035529004 @default.
• W1944072015 hasRelatedWork W2090741114 @default.
• W1944072015 hasRelatedWork W2109879514 @default.
• W1944072015 hasRelatedWork W2113944334 @default.
• W1944072015 hasRelatedWork W2140001025 @default.

• next