Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069352013> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2069352013 endingPage "2692" @default.
- W2069352013 startingPage "2685" @default.
- W2069352013 abstract "Design by Contract (DBC), originated in the Eiffel programming language, is generally accepted as a practical method for building reliable software. Currently, however, few languages have built-in support for it. In recent years, several methods have been proposed to support DBC in Java. We compare eleven DBC tools for Java by analyzing their impact on the developer's programming activities, which are characterized by seven quality attributes identified in this paper. It is shown that each of the existing tools fails to achieve some of the quality attributes. This motivates us to develop ezContract, an open source DBC tool for Java that achieves all of the seven quality attributes. ezContract achieves streamlined integration with the working environment. Notably, standard Java language is used and advanced IDE features that work for standard Java programs can also work for the contract-enabled programs. Such features include incremental compilation, automatic refactoring, and code assist." @default.
- W2069352013 created "2016-06-24" @default.
- W2069352013 creator A5024158540 @default.
- W2069352013 creator A5033461305 @default.
- W2069352013 creator A5076385452 @default.
- W2069352013 date "2008-11-01" @default.
- W2069352013 modified "2023-09-23" @default.
- W2069352013 title "Contract Specification in Java: Classification, Characterization, and a New Marker Method" @default.
- W2069352013 cites W1479759822 @default.
- W2069352013 cites W1555946950 @default.
- W2069352013 cites W1584704555 @default.
- W2069352013 cites W1959256509 @default.
- W2069352013 cites W1987264191 @default.
- W2069352013 cites W1998490923 @default.
- W2069352013 cites W2004562582 @default.
- W2069352013 cites W2067544274 @default.
- W2069352013 cites W2094160561 @default.
- W2069352013 cites W2105142318 @default.
- W2069352013 cites W2108339612 @default.
- W2069352013 cites W2155160224 @default.
- W2069352013 cites W2166890706 @default.
- W2069352013 cites W2168926899 @default.
- W2069352013 cites W2480883128 @default.
- W2069352013 doi "https://doi.org/10.1093/ietisy/e91-d.11.2685" @default.
- W2069352013 hasPublicationYear "2008" @default.
- W2069352013 type Work @default.
- W2069352013 sameAs 2069352013 @default.
- W2069352013 citedByCount "2" @default.
- W2069352013 countsByYear W20693520132013 @default.
- W2069352013 countsByYear W20693520132014 @default.
- W2069352013 crossrefType "journal-article" @default.
- W2069352013 hasAuthorship W2069352013A5024158540 @default.
- W2069352013 hasAuthorship W2069352013A5033461305 @default.
- W2069352013 hasAuthorship W2069352013A5076385452 @default.
- W2069352013 hasBestOaLocation W20693520131 @default.
- W2069352013 hasConcept C154945302 @default.
- W2069352013 hasConcept C171250308 @default.
- W2069352013 hasConcept C192562407 @default.
- W2069352013 hasConcept C199360897 @default.
- W2069352013 hasConcept C2780841128 @default.
- W2069352013 hasConcept C41008148 @default.
- W2069352013 hasConcept C548217200 @default.
- W2069352013 hasConceptScore W2069352013C154945302 @default.
- W2069352013 hasConceptScore W2069352013C171250308 @default.
- W2069352013 hasConceptScore W2069352013C192562407 @default.
- W2069352013 hasConceptScore W2069352013C199360897 @default.
- W2069352013 hasConceptScore W2069352013C2780841128 @default.
- W2069352013 hasConceptScore W2069352013C41008148 @default.
- W2069352013 hasConceptScore W2069352013C548217200 @default.
- W2069352013 hasIssue "11" @default.
- W2069352013 hasLocation W20693520131 @default.
- W2069352013 hasOpenAccess W2069352013 @default.
- W2069352013 hasPrimaryLocation W20693520131 @default.
- W2069352013 hasRelatedWork W1490787830 @default.
- W2069352013 hasRelatedWork W1493446239 @default.
- W2069352013 hasRelatedWork W1546517032 @default.
- W2069352013 hasRelatedWork W1595868262 @default.
- W2069352013 hasRelatedWork W1825982205 @default.
- W2069352013 hasRelatedWork W21169582 @default.
- W2069352013 hasRelatedWork W2122692581 @default.
- W2069352013 hasRelatedWork W3006032443 @default.
- W2069352013 hasRelatedWork W4243252198 @default.
- W2069352013 hasRelatedWork W2528467228 @default.
- W2069352013 hasVolume "E91-D" @default.
- W2069352013 isParatext "false" @default.
- W2069352013 isRetracted "false" @default.
- W2069352013 magId "2069352013" @default.
- W2069352013 workType "article" @default.