Matches in SemOpenAlex for { <https://semopenalex.org/work/W1483157468> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1483157468 endingPage "317" @default.
- W1483157468 startingPage "300" @default.
- W1483157468 abstract "The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing Java realizations of UML design models and introduce a new Hoare-Calculus for Java classes which uses OCL as assertion language. The Hoare rules are as usual for while programs, blocks and (possibly recursive) method calls. Update of instance variables is handled by an explicit substitution operator which also takes care of aliasing. For verifying a Java subsystem w.r.t. a design subsystem specified using OCL constraints we define an appropriate realization relation and illustrate our approach by an example." @default.
- W1483157468 created "2016-06-24" @default.
- W1483157468 creator A5018059594 @default.
- W1483157468 creator A5042265989 @default.
- W1483157468 creator A5055128003 @default.
- W1483157468 date "2001-01-01" @default.
- W1483157468 modified "2023-09-26" @default.
- W1483157468 title "A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models" @default.
- W1483157468 cites W1481018260 @default.
- W1483157468 cites W1588394470 @default.
- W1483157468 cites W1605775181 @default.
- W1483157468 cites W1945350451 @default.
- W1483157468 cites W1995008247 @default.
- W1483157468 cites W2067780727 @default.
- W1483157468 cites W2111619838 @default.
- W1483157468 cites W2120897738 @default.
- W1483157468 cites W2169735850 @default.
- W1483157468 cites W2987907651 @default.
- W1483157468 cites W3175485889 @default.
- W1483157468 doi "https://doi.org/10.1007/3-540-45314-8_22" @default.
- W1483157468 hasPublicationYear "2001" @default.
- W1483157468 type Work @default.
- W1483157468 sameAs 1483157468 @default.
- W1483157468 citedByCount "30" @default.
- W1483157468 countsByYear W14831574682015 @default.
- W1483157468 crossrefType "book-chapter" @default.
- W1483157468 hasAuthorship W1483157468A5018059594 @default.
- W1483157468 hasAuthorship W1483157468A5042265989 @default.
- W1483157468 hasAuthorship W1483157468A5055128003 @default.
- W1483157468 hasBestOaLocation W14831574681 @default.
- W1483157468 hasConcept C104949639 @default.
- W1483157468 hasConcept C133264317 @default.
- W1483157468 hasConcept C145644426 @default.
- W1483157468 hasConcept C146939238 @default.
- W1483157468 hasConcept C199360897 @default.
- W1483157468 hasConcept C2777904410 @default.
- W1483157468 hasConcept C33923547 @default.
- W1483157468 hasConcept C40422974 @default.
- W1483157468 hasConcept C41008148 @default.
- W1483157468 hasConcept C45357846 @default.
- W1483157468 hasConcept C548217200 @default.
- W1483157468 hasConcept C55439883 @default.
- W1483157468 hasConcept C73752529 @default.
- W1483157468 hasConcept C80444323 @default.
- W1483157468 hasConcept C94375191 @default.
- W1483157468 hasConceptScore W1483157468C104949639 @default.
- W1483157468 hasConceptScore W1483157468C133264317 @default.
- W1483157468 hasConceptScore W1483157468C145644426 @default.
- W1483157468 hasConceptScore W1483157468C146939238 @default.
- W1483157468 hasConceptScore W1483157468C199360897 @default.
- W1483157468 hasConceptScore W1483157468C2777904410 @default.
- W1483157468 hasConceptScore W1483157468C33923547 @default.
- W1483157468 hasConceptScore W1483157468C40422974 @default.
- W1483157468 hasConceptScore W1483157468C41008148 @default.
- W1483157468 hasConceptScore W1483157468C45357846 @default.
- W1483157468 hasConceptScore W1483157468C548217200 @default.
- W1483157468 hasConceptScore W1483157468C55439883 @default.
- W1483157468 hasConceptScore W1483157468C73752529 @default.
- W1483157468 hasConceptScore W1483157468C80444323 @default.
- W1483157468 hasConceptScore W1483157468C94375191 @default.
- W1483157468 hasLocation W14831574681 @default.
- W1483157468 hasOpenAccess W1483157468 @default.
- W1483157468 hasPrimaryLocation W14831574681 @default.
- W1483157468 hasRelatedWork W1483157468 @default.
- W1483157468 hasRelatedWork W1546517032 @default.
- W1483157468 hasRelatedWork W1553791847 @default.
- W1483157468 hasRelatedWork W1611281168 @default.
- W1483157468 hasRelatedWork W1775132212 @default.
- W1483157468 hasRelatedWork W2145823386 @default.
- W1483157468 hasRelatedWork W421036565 @default.
- W1483157468 hasRelatedWork W4236165813 @default.
- W1483157468 hasRelatedWork W1731380002 @default.
- W1483157468 hasRelatedWork W2528467228 @default.
- W1483157468 isParatext "false" @default.
- W1483157468 isRetracted "false" @default.
- W1483157468 magId "1483157468" @default.
- W1483157468 workType "book-chapter" @default.