Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100043129> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2100043129 endingPage "62" @default.
- W2100043129 startingPage "53" @default.
- W2100043129 abstract "When developing a new domain-specific architectural style, there can be uncertainty about the feasibility of using that style. In particular, the HADES architectural style contains refactoring patterns intended to remove undesirable scheduling features such as deadlock and livelock, but these patterns have not yet been fully validated. We report on the translation between the HADES structure and the input languages for two popular model checkers (SPIN and NuSMV) to help validate these patterns. We found model checking to be a valuable asset in confirming the presence of undesirable features." @default.
- W2100043129 created "2016-06-24" @default.
- W2100043129 creator A5025927902 @default.
- W2100043129 creator A5075082910 @default.
- W2100043129 date "2007-03-06" @default.
- W2100043129 modified "2023-09-25" @default.
- W2100043129 title "Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns" @default.
- W2100043129 cites W1586717557 @default.
- W2100043129 cites W187146092 @default.
- W2100043129 cites W1978657735 @default.
- W2100043129 cites W2015253173 @default.
- W2100043129 cites W2122636101 @default.
- W2100043129 cites W2158892765 @default.
- W2100043129 cites W2169778121 @default.
- W2100043129 cites W2762588455 @default.
- W2100043129 cites W3494227 @default.
- W2100043129 doi "https://doi.org/10.1109/sew.2007.112" @default.
- W2100043129 hasPublicationYear "2007" @default.
- W2100043129 type Work @default.
- W2100043129 sameAs 2100043129 @default.
- W2100043129 citedByCount "0" @default.
- W2100043129 crossrefType "proceedings-article" @default.
- W2100043129 hasAuthorship W2100043129A5025927902 @default.
- W2100043129 hasAuthorship W2100043129A5075082910 @default.
- W2100043129 hasConcept C104317684 @default.
- W2100043129 hasConcept C105580179 @default.
- W2100043129 hasConcept C110251889 @default.
- W2100043129 hasConcept C115903868 @default.
- W2100043129 hasConcept C123657996 @default.
- W2100043129 hasConcept C142362112 @default.
- W2100043129 hasConcept C149364088 @default.
- W2100043129 hasConcept C152752567 @default.
- W2100043129 hasConcept C153349607 @default.
- W2100043129 hasConcept C159023740 @default.
- W2100043129 hasConcept C169590947 @default.
- W2100043129 hasConcept C185592680 @default.
- W2100043129 hasConcept C199360897 @default.
- W2100043129 hasConcept C2777364373 @default.
- W2100043129 hasConcept C2777904410 @default.
- W2100043129 hasConcept C41008148 @default.
- W2100043129 hasConcept C52913732 @default.
- W2100043129 hasConcept C529173508 @default.
- W2100043129 hasConcept C55493867 @default.
- W2100043129 hasConcept C72280835 @default.
- W2100043129 hasConceptScore W2100043129C104317684 @default.
- W2100043129 hasConceptScore W2100043129C105580179 @default.
- W2100043129 hasConceptScore W2100043129C110251889 @default.
- W2100043129 hasConceptScore W2100043129C115903868 @default.
- W2100043129 hasConceptScore W2100043129C123657996 @default.
- W2100043129 hasConceptScore W2100043129C142362112 @default.
- W2100043129 hasConceptScore W2100043129C149364088 @default.
- W2100043129 hasConceptScore W2100043129C152752567 @default.
- W2100043129 hasConceptScore W2100043129C153349607 @default.
- W2100043129 hasConceptScore W2100043129C159023740 @default.
- W2100043129 hasConceptScore W2100043129C169590947 @default.
- W2100043129 hasConceptScore W2100043129C185592680 @default.
- W2100043129 hasConceptScore W2100043129C199360897 @default.
- W2100043129 hasConceptScore W2100043129C2777364373 @default.
- W2100043129 hasConceptScore W2100043129C2777904410 @default.
- W2100043129 hasConceptScore W2100043129C41008148 @default.
- W2100043129 hasConceptScore W2100043129C52913732 @default.
- W2100043129 hasConceptScore W2100043129C529173508 @default.
- W2100043129 hasConceptScore W2100043129C55493867 @default.
- W2100043129 hasConceptScore W2100043129C72280835 @default.
- W2100043129 hasLocation W21000431291 @default.
- W2100043129 hasOpenAccess W2100043129 @default.
- W2100043129 hasPrimaryLocation W21000431291 @default.
- W2100043129 hasRelatedWork W1489999260 @default.
- W2100043129 hasRelatedWork W1492274812 @default.
- W2100043129 hasRelatedWork W1542925140 @default.
- W2100043129 hasRelatedWork W1985559452 @default.
- W2100043129 hasRelatedWork W2041019171 @default.
- W2100043129 hasRelatedWork W2042191231 @default.
- W2100043129 hasRelatedWork W2048450733 @default.
- W2100043129 hasRelatedWork W2094203680 @default.
- W2100043129 hasRelatedWork W2119919165 @default.
- W2100043129 hasRelatedWork W2137107891 @default.
- W2100043129 hasRelatedWork W2156005001 @default.
- W2100043129 hasRelatedWork W2165991570 @default.
- W2100043129 hasRelatedWork W2354390221 @default.
- W2100043129 hasRelatedWork W2378557764 @default.
- W2100043129 hasRelatedWork W2510522306 @default.
- W2100043129 hasRelatedWork W2515120526 @default.
- W2100043129 hasRelatedWork W2749072579 @default.
- W2100043129 hasRelatedWork W2954827243 @default.
- W2100043129 hasRelatedWork W3144801606 @default.
- W2100043129 hasRelatedWork W3145685042 @default.
- W2100043129 isParatext "false" @default.
- W2100043129 isRetracted "false" @default.
- W2100043129 magId "2100043129" @default.
- W2100043129 workType "article" @default.