Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137648942> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2137648942 endingPage "547" @default.
- W2137648942 startingPage "542" @default.
- W2137648942 abstract "Design patterns are reuse artifacts meant to improve the quality of software designs as well as the productivity of designers. Patterns (and their relationships) are mostly described in an informal fashion which leads to ambiguity and limits tools support. This has worsened with the growing number of well-established and candidate patterns. This paper discusses how to formally specify the solution element of patterns and their relationships using TLA+, the formal specification language of Temporal Logic of Actions (TLA). The paper first classifies and formally defines the most common relationships between patterns. Then, it shows how to automatically proof the existence of a refines relationship between patterns using TLC− the TLA+ Model Checker." @default.
- W2137648942 created "2016-06-24" @default.
- W2137648942 creator A5007895753 @default.
- W2137648942 creator A5050683465 @default.
- W2137648942 date "2007-04-15" @default.
- W2137648942 modified "2023-10-02" @default.
- W2137648942 title "Automatic proof of refinement among design patterns using the TLC model checker" @default.
- W2137648942 cites W1504504841 @default.
- W2137648942 cites W1521422937 @default.
- W2137648942 cites W1569144507 @default.
- W2137648942 cites W1586115131 @default.
- W2137648942 cites W1649645444 @default.
- W2137648942 cites W1852178883 @default.
- W2137648942 cites W1998017916 @default.
- W2137648942 cites W2015688007 @default.
- W2137648942 cites W2120214216 @default.
- W2137648942 cites W2503872210 @default.
- W2137648942 cites W2798977449 @default.
- W2137648942 cites W617329964 @default.
- W2137648942 hasPublicationYear "2007" @default.
- W2137648942 type Work @default.
- W2137648942 sameAs 2137648942 @default.
- W2137648942 citedByCount "0" @default.
- W2137648942 crossrefType "journal-article" @default.
- W2137648942 hasAuthorship W2137648942A5007895753 @default.
- W2137648942 hasAuthorship W2137648942A5050683465 @default.
- W2137648942 hasConcept C110251889 @default.
- W2137648942 hasConcept C115903868 @default.
- W2137648942 hasConcept C116253237 @default.
- W2137648942 hasConcept C127413603 @default.
- W2137648942 hasConcept C146054899 @default.
- W2137648942 hasConcept C154945302 @default.
- W2137648942 hasConcept C199360897 @default.
- W2137648942 hasConcept C206588197 @default.
- W2137648942 hasConcept C25016198 @default.
- W2137648942 hasConcept C2777904410 @default.
- W2137648942 hasConcept C2780522230 @default.
- W2137648942 hasConcept C41008148 @default.
- W2137648942 hasConcept C548081761 @default.
- W2137648942 hasConceptScore W2137648942C110251889 @default.
- W2137648942 hasConceptScore W2137648942C115903868 @default.
- W2137648942 hasConceptScore W2137648942C116253237 @default.
- W2137648942 hasConceptScore W2137648942C127413603 @default.
- W2137648942 hasConceptScore W2137648942C146054899 @default.
- W2137648942 hasConceptScore W2137648942C154945302 @default.
- W2137648942 hasConceptScore W2137648942C199360897 @default.
- W2137648942 hasConceptScore W2137648942C206588197 @default.
- W2137648942 hasConceptScore W2137648942C25016198 @default.
- W2137648942 hasConceptScore W2137648942C2777904410 @default.
- W2137648942 hasConceptScore W2137648942C2780522230 @default.
- W2137648942 hasConceptScore W2137648942C41008148 @default.
- W2137648942 hasConceptScore W2137648942C548081761 @default.
- W2137648942 hasLocation W21376489421 @default.
- W2137648942 hasOpenAccess W2137648942 @default.
- W2137648942 hasPrimaryLocation W21376489421 @default.
- W2137648942 hasRelatedWork W122153333 @default.
- W2137648942 hasRelatedWork W127914462 @default.
- W2137648942 hasRelatedWork W1502848924 @default.
- W2137648942 hasRelatedWork W1528350995 @default.
- W2137648942 hasRelatedWork W1562467008 @default.
- W2137648942 hasRelatedWork W1570275172 @default.
- W2137648942 hasRelatedWork W175910460 @default.
- W2137648942 hasRelatedWork W187954687 @default.
- W2137648942 hasRelatedWork W1974242432 @default.
- W2137648942 hasRelatedWork W1988608457 @default.
- W2137648942 hasRelatedWork W198907747 @default.
- W2137648942 hasRelatedWork W2003037987 @default.
- W2137648942 hasRelatedWork W2105429231 @default.
- W2137648942 hasRelatedWork W2324415392 @default.
- W2137648942 hasRelatedWork W2405470259 @default.
- W2137648942 hasRelatedWork W2884095124 @default.
- W2137648942 hasRelatedWork W2897103696 @default.
- W2137648942 hasRelatedWork W2969673388 @default.
- W2137648942 hasRelatedWork W2999504425 @default.
- W2137648942 hasRelatedWork W3168724739 @default.
- W2137648942 isParatext "false" @default.
- W2137648942 isRetracted "false" @default.
- W2137648942 magId "2137648942" @default.
- W2137648942 workType "article" @default.