Matches in SemOpenAlex for { <https://semopenalex.org/work/W122391711> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W122391711 abstract "The Java Modeling Language (JML) is a formal specification language for Java that allows to express intended behavior through assertions. Currently, users must embed these assertions in Java comments, which complicates parsing and hinders tool support, leading to poor usability. This paper describes a set of proposed Java 5 annotations which reflect current JML assertions and provides for better tool support. We consider three alternative designs for such annotations and explain why the chosen design is preferred. This syntax is designed to support both a design-by-contract subset of JML, and to be extensible to the full language. We demonstrate that by building two tools: Modern Jass, which provides almost-native support for design by contract, and a prototype that works with a much larger set of JML." @default.
- W122391711 created "2016-06-24" @default.
- W122391711 creator A5014066009 @default.
- W122391711 creator A5057805696 @default.
- W122391711 creator A5064108319 @default.
- W122391711 date "2008-01-01" @default.
- W122391711 modified "2023-10-17" @default.
- W122391711 title "Adapting the Java Modeling Language for Java 5 Annotations" @default.
- W122391711 cites W194677851 @default.
- W122391711 cites W2018951244 @default.
- W122391711 cites W2086844237 @default.
- W122391711 cites W2169138457 @default.
- W122391711 cites W2197000251 @default.
- W122391711 cites W221784231 @default.
- W122391711 hasPublicationYear "2008" @default.
- W122391711 type Work @default.
- W122391711 sameAs 122391711 @default.
- W122391711 citedByCount "0" @default.
- W122391711 crossrefType "journal-article" @default.
- W122391711 hasAuthorship W122391711A5014066009 @default.
- W122391711 hasAuthorship W122391711A5057805696 @default.
- W122391711 hasAuthorship W122391711A5064108319 @default.
- W122391711 hasConcept C107457646 @default.
- W122391711 hasConcept C119263510 @default.
- W122391711 hasConcept C132106392 @default.
- W122391711 hasConcept C15077461 @default.
- W122391711 hasConcept C168702491 @default.
- W122391711 hasConcept C170130773 @default.
- W122391711 hasConcept C172482141 @default.
- W122391711 hasConcept C177264268 @default.
- W122391711 hasConcept C186846655 @default.
- W122391711 hasConcept C199360897 @default.
- W122391711 hasConcept C204321447 @default.
- W122391711 hasConcept C2777904410 @default.
- W122391711 hasConcept C34165917 @default.
- W122391711 hasConcept C41008148 @default.
- W122391711 hasConcept C50033165 @default.
- W122391711 hasConcept C529173508 @default.
- W122391711 hasConcept C548217200 @default.
- W122391711 hasConcept C60048249 @default.
- W122391711 hasConcept C60945770 @default.
- W122391711 hasConcept C80291951 @default.
- W122391711 hasConceptScore W122391711C107457646 @default.
- W122391711 hasConceptScore W122391711C119263510 @default.
- W122391711 hasConceptScore W122391711C132106392 @default.
- W122391711 hasConceptScore W122391711C15077461 @default.
- W122391711 hasConceptScore W122391711C168702491 @default.
- W122391711 hasConceptScore W122391711C170130773 @default.
- W122391711 hasConceptScore W122391711C172482141 @default.
- W122391711 hasConceptScore W122391711C177264268 @default.
- W122391711 hasConceptScore W122391711C186846655 @default.
- W122391711 hasConceptScore W122391711C199360897 @default.
- W122391711 hasConceptScore W122391711C204321447 @default.
- W122391711 hasConceptScore W122391711C2777904410 @default.
- W122391711 hasConceptScore W122391711C34165917 @default.
- W122391711 hasConceptScore W122391711C41008148 @default.
- W122391711 hasConceptScore W122391711C50033165 @default.
- W122391711 hasConceptScore W122391711C529173508 @default.
- W122391711 hasConceptScore W122391711C548217200 @default.
- W122391711 hasConceptScore W122391711C60048249 @default.
- W122391711 hasConceptScore W122391711C60945770 @default.
- W122391711 hasConceptScore W122391711C80291951 @default.
- W122391711 hasLocation W1223917111 @default.
- W122391711 hasOpenAccess W122391711 @default.
- W122391711 hasPrimaryLocation W1223917111 @default.
- W122391711 hasRelatedWork W1507029499 @default.
- W122391711 hasRelatedWork W1590951149 @default.
- W122391711 hasRelatedWork W164113562 @default.
- W122391711 hasRelatedWork W1668251704 @default.
- W122391711 hasRelatedWork W1998490923 @default.
- W122391711 hasRelatedWork W2058782789 @default.
- W122391711 hasRelatedWork W2066980498 @default.
- W122391711 hasRelatedWork W2071012666 @default.
- W122391711 hasRelatedWork W2078124027 @default.
- W122391711 hasRelatedWork W2083836378 @default.
- W122391711 hasRelatedWork W2090962365 @default.
- W122391711 hasRelatedWork W2166985644 @default.
- W122391711 hasRelatedWork W2290428050 @default.
- W122391711 hasRelatedWork W2312248497 @default.
- W122391711 hasRelatedWork W2395809552 @default.
- W122391711 hasRelatedWork W2915240685 @default.
- W122391711 hasRelatedWork W3175485889 @default.
- W122391711 hasRelatedWork W3178581030 @default.
- W122391711 hasRelatedWork W3181568802 @default.
- W122391711 hasRelatedWork W2182418791 @default.
- W122391711 isParatext "false" @default.
- W122391711 isRetracted "false" @default.
- W122391711 magId "122391711" @default.
- W122391711 workType "article" @default.