Matches in SemOpenAlex for { <https://semopenalex.org/work/W1971446604> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1971446604 abstract "Our approach allows a developer to verify whether a model corresponds to a concrete implementation in terms of the JVM (Java Virtual Machine) by validating assumptions about model structure and behavior. In previous work, we focused on (a) the validation of static model properties by monitoring invariants, (b) basic dynamic properties by specifying pre- and postconditions of an operation and (c) employment of protocol state machines for validating advanced dynamic properties.This paper discusses the generalization of the underlying architecture for the JVM to easily incorporate other runtime environments like the CLR (Common Language Runtime). This is realized by extracting common features like method calls and identifying relevant interception points." @default.
- W1971446604 created "2016-06-24" @default.
- W1971446604 creator A5013415103 @default.
- W1971446604 creator A5017053093 @default.
- W1971446604 creator A5060021592 @default.
- W1971446604 date "2012-10-01" @default.
- W1971446604 modified "2023-09-26" @default.
- W1971446604 title "Towards supporting multiple execution environments for UML/OCL models at runtime" @default.
- W1971446604 cites W1595062787 @default.
- W1971446604 cites W1597031783 @default.
- W1971446604 cites W1873956753 @default.
- W1971446604 cites W1884898539 @default.
- W1971446604 cites W1980981300 @default.
- W1971446604 cites W2006579687 @default.
- W1971446604 cites W2022175857 @default.
- W1971446604 cites W2088200982 @default.
- W1971446604 cites W2111445678 @default.
- W1971446604 cites W2127228682 @default.
- W1971446604 cites W2886012154 @default.
- W1971446604 cites W2091926395 @default.
- W1971446604 doi "https://doi.org/10.1145/2422518.2422526" @default.
- W1971446604 hasPublicationYear "2012" @default.
- W1971446604 type Work @default.
- W1971446604 sameAs 1971446604 @default.
- W1971446604 citedByCount "1" @default.
- W1971446604 countsByYear W19714466042013 @default.
- W1971446604 crossrefType "proceedings-article" @default.
- W1971446604 hasAuthorship W1971446604A5013415103 @default.
- W1971446604 hasAuthorship W1971446604A5017053093 @default.
- W1971446604 hasAuthorship W1971446604A5060021592 @default.
- W1971446604 hasConcept C115903868 @default.
- W1971446604 hasConcept C120314980 @default.
- W1971446604 hasConcept C133264317 @default.
- W1971446604 hasConcept C145644426 @default.
- W1971446604 hasConcept C146939238 @default.
- W1971446604 hasConcept C199360897 @default.
- W1971446604 hasConcept C2777904410 @default.
- W1971446604 hasConcept C41008148 @default.
- W1971446604 hasConcept C41298492 @default.
- W1971446604 hasConceptScore W1971446604C115903868 @default.
- W1971446604 hasConceptScore W1971446604C120314980 @default.
- W1971446604 hasConceptScore W1971446604C133264317 @default.
- W1971446604 hasConceptScore W1971446604C145644426 @default.
- W1971446604 hasConceptScore W1971446604C146939238 @default.
- W1971446604 hasConceptScore W1971446604C199360897 @default.
- W1971446604 hasConceptScore W1971446604C2777904410 @default.
- W1971446604 hasConceptScore W1971446604C41008148 @default.
- W1971446604 hasConceptScore W1971446604C41298492 @default.
- W1971446604 hasLocation W19714466041 @default.
- W1971446604 hasOpenAccess W1971446604 @default.
- W1971446604 hasPrimaryLocation W19714466041 @default.
- W1971446604 hasRelatedWork W1510078815 @default.
- W1971446604 hasRelatedWork W1775132212 @default.
- W1971446604 hasRelatedWork W2020544977 @default.
- W1971446604 hasRelatedWork W2083535558 @default.
- W1971446604 hasRelatedWork W2121047523 @default.
- W1971446604 hasRelatedWork W2129225052 @default.
- W1971446604 hasRelatedWork W2143894868 @default.
- W1971446604 hasRelatedWork W2295033459 @default.
- W1971446604 hasRelatedWork W2381137142 @default.
- W1971446604 hasRelatedWork W2391415470 @default.
- W1971446604 isParatext "false" @default.
- W1971446604 isRetracted "false" @default.
- W1971446604 magId "1971446604" @default.
- W1971446604 workType "article" @default.