Matches in SemOpenAlex for { <https://semopenalex.org/work/W2178736915> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2178736915 abstract "The Unified Modeling Language (UML) as a defacto standard for software development finds more and more application in the design of systems which also contain hardware components. Guaranteeing the correctness of a system specified in UML is thereby an important as well as challenging task. In recent years, first approaches for this purpose have been introduced. However, most of them focus only on the static view of a UML model. In this paper, an automatic approach is presented which checks verification tasks for dynamic aspects of a UML model. That is, given a UML model as well as an initial system state, the approach proves whether a sequence of operation calls exists so that a desired behavior is invoked. The underlying verification problem is encoded as an instance of the satisfiability problem and subsequently solved using a SAT Modulo Theory solver. An experimental evaluation confirms the applicability of the proposed approach." @default.
- W2178736915 created "2016-06-24" @default.
- W2178736915 creator A5004214923 @default.
- W2178736915 creator A5071742136 @default.
- W2178736915 creator A5084007478 @default.
- W2178736915 date "2011-03-01" @default.
- W2178736915 modified "2023-09-23" @default.
- W2178736915 title "Verifying dynamic aspects of UML models" @default.
- W2178736915 cites W1518705996 @default.
- W2178736915 cites W1565791729 @default.
- W2178736915 cites W1606461502 @default.
- W2178736915 cites W1607923221 @default.
- W2178736915 cites W2033019659 @default.
- W2178736915 cites W2036265926 @default.
- W2178736915 cites W2111445678 @default.
- W2178736915 cites W2124970417 @default.
- W2178736915 cites W2140527460 @default.
- W2178736915 cites W2170575809 @default.
- W2178736915 cites W2406059451 @default.
- W2178736915 cites W4247585869 @default.
- W2178736915 cites W621300437 @default.
- W2178736915 doi "https://doi.org/10.1109/date.2011.5763177" @default.
- W2178736915 hasPublicationYear "2011" @default.
- W2178736915 type Work @default.
- W2178736915 sameAs 2178736915 @default.
- W2178736915 citedByCount "52" @default.
- W2178736915 countsByYear W21787369152012 @default.
- W2178736915 countsByYear W21787369152013 @default.
- W2178736915 countsByYear W21787369152014 @default.
- W2178736915 countsByYear W21787369152015 @default.
- W2178736915 countsByYear W21787369152016 @default.
- W2178736915 countsByYear W21787369152017 @default.
- W2178736915 countsByYear W21787369152018 @default.
- W2178736915 countsByYear W21787369152019 @default.
- W2178736915 countsByYear W21787369152020 @default.
- W2178736915 countsByYear W21787369152022 @default.
- W2178736915 countsByYear W21787369152023 @default.
- W2178736915 crossrefType "proceedings-article" @default.
- W2178736915 hasAuthorship W2178736915A5004214923 @default.
- W2178736915 hasAuthorship W2178736915A5071742136 @default.
- W2178736915 hasAuthorship W2178736915A5084007478 @default.
- W2178736915 hasBestOaLocation W21787369152 @default.
- W2178736915 hasConcept C133264317 @default.
- W2178736915 hasConcept C145644426 @default.
- W2178736915 hasConcept C146939238 @default.
- W2178736915 hasConcept C164155591 @default.
- W2178736915 hasConcept C179603123 @default.
- W2178736915 hasConcept C199360897 @default.
- W2178736915 hasConcept C2777904410 @default.
- W2178736915 hasConcept C41008148 @default.
- W2178736915 hasConcept C41298492 @default.
- W2178736915 hasConcept C55439883 @default.
- W2178736915 hasConcept C80444323 @default.
- W2178736915 hasConceptScore W2178736915C133264317 @default.
- W2178736915 hasConceptScore W2178736915C145644426 @default.
- W2178736915 hasConceptScore W2178736915C146939238 @default.
- W2178736915 hasConceptScore W2178736915C164155591 @default.
- W2178736915 hasConceptScore W2178736915C179603123 @default.
- W2178736915 hasConceptScore W2178736915C199360897 @default.
- W2178736915 hasConceptScore W2178736915C2777904410 @default.
- W2178736915 hasConceptScore W2178736915C41008148 @default.
- W2178736915 hasConceptScore W2178736915C41298492 @default.
- W2178736915 hasConceptScore W2178736915C55439883 @default.
- W2178736915 hasConceptScore W2178736915C80444323 @default.
- W2178736915 hasLocation W21787369151 @default.
- W2178736915 hasLocation W21787369152 @default.
- W2178736915 hasOpenAccess W2178736915 @default.
- W2178736915 hasPrimaryLocation W21787369151 @default.
- W2178736915 hasRelatedWork W1498165689 @default.
- W2178736915 hasRelatedWork W1789694677 @default.
- W2178736915 hasRelatedWork W2129225052 @default.
- W2178736915 hasRelatedWork W2140225592 @default.
- W2178736915 hasRelatedWork W2145823386 @default.
- W2178736915 hasRelatedWork W2163575764 @default.
- W2178736915 hasRelatedWork W2178736915 @default.
- W2178736915 hasRelatedWork W2295033459 @default.
- W2178736915 hasRelatedWork W2753288322 @default.
- W2178736915 hasRelatedWork W1731380002 @default.
- W2178736915 isParatext "false" @default.
- W2178736915 isRetracted "false" @default.
- W2178736915 magId "2178736915" @default.
- W2178736915 workType "article" @default.