Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038960098> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2038960098 abstract "The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints include class invariants and preconditions and postconditions of operations. The Java Modelling Language (JML) is a behavioural interface specification language designed for specifying Java classes and interfaces. This paper defines a translation of OCL expressions and constraints into the Java Modelling Language. The objective of this translation is to be able to map UML object-oriented designs with OCL constraints to Java classes and interfaces annotated with JML specifications, and to carry out logical reasoning about such classes and interfaces using JML tools which include a run time assertion checker and an interactive prover based on PVS." @default.
- W2038960098 created "2016-06-24" @default.
- W2038960098 creator A5081874378 @default.
- W2038960098 date "2004-01-01" @default.
- W2038960098 modified "2023-09-25" @default.
- W2038960098 title "Translating the Object Constraint Language into the Java Modelling Language" @default.
- W2038960098 cites W108020401 @default.
- W2038960098 cites W1518695183 @default.
- W2038960098 cites W1533109738 @default.
- W2038960098 cites W1583095677 @default.
- W2038960098 cites W1583826417 @default.
- W2038960098 cites W181692423 @default.
- W2038960098 cites W1970495662 @default.
- W2038960098 cites W1998017916 @default.
- W2038960098 cites W204377626 @default.
- W2038960098 cites W2090962365 @default.
- W2038960098 cites W2094160561 @default.
- W2038960098 cites W2107778618 @default.
- W2038960098 cites W2144973245 @default.
- W2038960098 cites W2158376721 @default.
- W2038960098 doi "https://doi.org/10.1145/967900.968206" @default.
- W2038960098 hasPublicationYear "2004" @default.
- W2038960098 type Work @default.
- W2038960098 sameAs 2038960098 @default.
- W2038960098 citedByCount "32" @default.
- W2038960098 countsByYear W20389600982012 @default.
- W2038960098 countsByYear W20389600982013 @default.
- W2038960098 countsByYear W20389600982014 @default.
- W2038960098 countsByYear W20389600982015 @default.
- W2038960098 countsByYear W20389600982016 @default.
- W2038960098 countsByYear W20389600982017 @default.
- W2038960098 countsByYear W20389600982022 @default.
- W2038960098 crossrefType "proceedings-article" @default.
- W2038960098 hasAuthorship W2038960098A5081874378 @default.
- W2038960098 hasConcept C119263510 @default.
- W2038960098 hasConcept C132106392 @default.
- W2038960098 hasConcept C133264317 @default.
- W2038960098 hasConcept C145644426 @default.
- W2038960098 hasConcept C146939238 @default.
- W2038960098 hasConcept C15077461 @default.
- W2038960098 hasConcept C154945302 @default.
- W2038960098 hasConcept C168702491 @default.
- W2038960098 hasConcept C185954173 @default.
- W2038960098 hasConcept C195324797 @default.
- W2038960098 hasConcept C199360897 @default.
- W2038960098 hasConcept C201677973 @default.
- W2038960098 hasConcept C202446494 @default.
- W2038960098 hasConcept C204321447 @default.
- W2038960098 hasConcept C2777212361 @default.
- W2038960098 hasConcept C2777904410 @default.
- W2038960098 hasConcept C34165917 @default.
- W2038960098 hasConcept C40422974 @default.
- W2038960098 hasConcept C41008148 @default.
- W2038960098 hasConcept C50033165 @default.
- W2038960098 hasConcept C548217200 @default.
- W2038960098 hasConcept C60945770 @default.
- W2038960098 hasConcept C73752529 @default.
- W2038960098 hasConceptScore W2038960098C119263510 @default.
- W2038960098 hasConceptScore W2038960098C132106392 @default.
- W2038960098 hasConceptScore W2038960098C133264317 @default.
- W2038960098 hasConceptScore W2038960098C145644426 @default.
- W2038960098 hasConceptScore W2038960098C146939238 @default.
- W2038960098 hasConceptScore W2038960098C15077461 @default.
- W2038960098 hasConceptScore W2038960098C154945302 @default.
- W2038960098 hasConceptScore W2038960098C168702491 @default.
- W2038960098 hasConceptScore W2038960098C185954173 @default.
- W2038960098 hasConceptScore W2038960098C195324797 @default.
- W2038960098 hasConceptScore W2038960098C199360897 @default.
- W2038960098 hasConceptScore W2038960098C201677973 @default.
- W2038960098 hasConceptScore W2038960098C202446494 @default.
- W2038960098 hasConceptScore W2038960098C204321447 @default.
- W2038960098 hasConceptScore W2038960098C2777212361 @default.
- W2038960098 hasConceptScore W2038960098C2777904410 @default.
- W2038960098 hasConceptScore W2038960098C34165917 @default.
- W2038960098 hasConceptScore W2038960098C40422974 @default.
- W2038960098 hasConceptScore W2038960098C41008148 @default.
- W2038960098 hasConceptScore W2038960098C50033165 @default.
- W2038960098 hasConceptScore W2038960098C548217200 @default.
- W2038960098 hasConceptScore W2038960098C60945770 @default.
- W2038960098 hasConceptScore W2038960098C73752529 @default.
- W2038960098 hasLocation W20389600981 @default.
- W2038960098 hasOpenAccess W2038960098 @default.
- W2038960098 hasPrimaryLocation W20389600981 @default.
- W2038960098 hasRelatedWork W111619882 @default.
- W2038960098 hasRelatedWork W1522934148 @default.
- W2038960098 hasRelatedWork W1546517032 @default.
- W2038960098 hasRelatedWork W2038960098 @default.
- W2038960098 hasRelatedWork W2065352887 @default.
- W2038960098 hasRelatedWork W2103380617 @default.
- W2038960098 hasRelatedWork W3174184680 @default.
- W2038960098 hasRelatedWork W4365397649 @default.
- W2038960098 hasRelatedWork W52505160 @default.
- W2038960098 hasRelatedWork W2790502308 @default.
- W2038960098 isParatext "false" @default.
- W2038960098 isRetracted "false" @default.
- W2038960098 magId "2038960098" @default.
- W2038960098 workType "article" @default.