Matches in SemOpenAlex for { <https://semopenalex.org/work/W1006959324> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1006959324 endingPage "116" @default.
- W1006959324 startingPage "99" @default.
- W1006959324 abstract "Guaranteeing the essential properties of a system early in the design process is an important as well as challenging task. Modeling languages such as the UML allow for a formal description of structure and behavior by employing OCL class invariants and operation pre- and postconditions. This enables the verification of a system description prior to implementation. For this purpose, first approaches have recently been put forward. In particular, solutions relying on the deductive power of constraint solvers are promising. Here, complementary approaches of how to formulate and transform respective UML and OCL verification tasks into corresponding solver tasks have been proposed. However, the resulting methods have not yet been compared to each other. In this contribution, we consider two verification approaches for UML and OCL behavioral models and compare their methods and the respective workflows with each other. By this, a better understanding of the advantages and disadvantages of these verification methods is achieved." @default.
- W1006959324 created "2016-06-24" @default.
- W1006959324 creator A5004214923 @default.
- W1006959324 creator A5013115056 @default.
- W1006959324 creator A5013415103 @default.
- W1006959324 creator A5024438526 @default.
- W1006959324 date "2014-01-01" @default.
- W1006959324 modified "2023-10-14" @default.
- W1006959324 title "Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models" @default.
- W1006959324 cites W113947020 @default.
- W1006959324 cites W1480909796 @default.
- W1006959324 cites W1488390158 @default.
- W1006959324 cites W1494631286 @default.
- W1006959324 cites W1519503479 @default.
- W1006959324 cites W1545811375 @default.
- W1006959324 cites W1560224784 @default.
- W1006959324 cites W1561523230 @default.
- W1006959324 cites W1579437898 @default.
- W1006959324 cites W1607923221 @default.
- W1006959324 cites W187889024 @default.
- W1006959324 cites W2025196861 @default.
- W1006959324 cites W2055287943 @default.
- W1006959324 cites W2062768986 @default.
- W1006959324 cites W2089381631 @default.
- W1006959324 cites W2091920469 @default.
- W1006959324 cites W2111445678 @default.
- W1006959324 cites W2140527460 @default.
- W1006959324 cites W2178736915 @default.
- W1006959324 cites W2406059451 @default.
- W1006959324 doi "https://doi.org/10.1007/978-3-319-09099-3_8" @default.
- W1006959324 hasPublicationYear "2014" @default.
- W1006959324 type Work @default.
- W1006959324 sameAs 1006959324 @default.
- W1006959324 citedByCount "14" @default.
- W1006959324 countsByYear W10069593242015 @default.
- W1006959324 countsByYear W10069593242016 @default.
- W1006959324 countsByYear W10069593242017 @default.
- W1006959324 countsByYear W10069593242018 @default.
- W1006959324 countsByYear W10069593242019 @default.
- W1006959324 countsByYear W10069593242020 @default.
- W1006959324 countsByYear W10069593242023 @default.
- W1006959324 crossrefType "book-chapter" @default.
- W1006959324 hasAuthorship W1006959324A5004214923 @default.
- W1006959324 hasAuthorship W1006959324A5013115056 @default.
- W1006959324 hasAuthorship W1006959324A5013415103 @default.
- W1006959324 hasAuthorship W1006959324A5024438526 @default.
- W1006959324 hasBestOaLocation W10069593242 @default.
- W1006959324 hasConcept C115903868 @default.
- W1006959324 hasConcept C133264317 @default.
- W1006959324 hasConcept C145644426 @default.
- W1006959324 hasConcept C146939238 @default.
- W1006959324 hasConcept C177212765 @default.
- W1006959324 hasConcept C199360897 @default.
- W1006959324 hasConcept C202446494 @default.
- W1006959324 hasConcept C2777904410 @default.
- W1006959324 hasConcept C41008148 @default.
- W1006959324 hasConcept C41298492 @default.
- W1006959324 hasConcept C77088390 @default.
- W1006959324 hasConcept C80444323 @default.
- W1006959324 hasConcept C98045186 @default.
- W1006959324 hasConceptScore W1006959324C115903868 @default.
- W1006959324 hasConceptScore W1006959324C133264317 @default.
- W1006959324 hasConceptScore W1006959324C145644426 @default.
- W1006959324 hasConceptScore W1006959324C146939238 @default.
- W1006959324 hasConceptScore W1006959324C177212765 @default.
- W1006959324 hasConceptScore W1006959324C199360897 @default.
- W1006959324 hasConceptScore W1006959324C202446494 @default.
- W1006959324 hasConceptScore W1006959324C2777904410 @default.
- W1006959324 hasConceptScore W1006959324C41008148 @default.
- W1006959324 hasConceptScore W1006959324C41298492 @default.
- W1006959324 hasConceptScore W1006959324C77088390 @default.
- W1006959324 hasConceptScore W1006959324C80444323 @default.
- W1006959324 hasConceptScore W1006959324C98045186 @default.
- W1006959324 hasLocation W10069593241 @default.
- W1006959324 hasLocation W10069593242 @default.
- W1006959324 hasOpenAccess W1006959324 @default.
- W1006959324 hasPrimaryLocation W10069593241 @default.
- W1006959324 hasRelatedWork W1510078815 @default.
- W1006959324 hasRelatedWork W1789694677 @default.
- W1006959324 hasRelatedWork W1994499229 @default.
- W1006959324 hasRelatedWork W2119426499 @default.
- W1006959324 hasRelatedWork W2121047523 @default.
- W1006959324 hasRelatedWork W2159720139 @default.
- W1006959324 hasRelatedWork W2381137142 @default.
- W1006959324 hasRelatedWork W2384466694 @default.
- W1006959324 hasRelatedWork W2391415470 @default.
- W1006959324 hasRelatedWork W4244561441 @default.
- W1006959324 isParatext "false" @default.
- W1006959324 isRetracted "false" @default.
- W1006959324 magId "1006959324" @default.
- W1006959324 workType "book-chapter" @default.