Matches in SemOpenAlex for { <https://semopenalex.org/work/W1857489778> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1857489778 endingPage "85" @default.
- W1857489778 startingPage "76" @default.
- W1857489778 abstract "Specification and [visual] modelling languages are expected to combine strong abstraction mechanisms with rigour, scalability, and parsimony. LePUS3 is a visual, object-oriented design description language axiomatized in a decidable subset of the first-order predicate logic. We demonstrate how LePUS3 is used to formally specify a structural design pattern and prove ( verify ) whether any JavaTM 1.4 program satisfies that specification. We also show how LePUS3 specifications (charts) are composed and how they are verified fully automatically in the Two-Tier Programming Toolkit." @default.
- W1857489778 created "2016-06-24" @default.
- W1857489778 creator A5016956007 @default.
- W1857489778 creator A5032062100 @default.
- W1857489778 creator A5052401275 @default.
- W1857489778 creator A5076545746 @default.
- W1857489778 date "2009-04-01" @default.
- W1857489778 modified "2023-09-23" @default.
- W1857489778 title "Automated Verification of Design Patterns with LePUS3" @default.
- W1857489778 cites W1488706624 @default.
- W1857489778 cites W1506513518 @default.
- W1857489778 cites W1514608804 @default.
- W1857489778 cites W1649645444 @default.
- W1857489778 cites W1679534293 @default.
- W1857489778 cites W1976401142 @default.
- W1857489778 cites W2015151048 @default.
- W1857489778 cites W2049704651 @default.
- W1857489778 cites W2110237629 @default.
- W1857489778 cites W2118023438 @default.
- W1857489778 cites W2154774499 @default.
- W1857489778 cites W2162366870 @default.
- W1857489778 cites W2163714967 @default.
- W1857489778 cites W2410522319 @default.
- W1857489778 cites W2489833865 @default.
- W1857489778 hasPublicationYear "2009" @default.
- W1857489778 type Work @default.
- W1857489778 sameAs 1857489778 @default.
- W1857489778 citedByCount "1" @default.
- W1857489778 countsByYear W18574897782013 @default.
- W1857489778 crossrefType "proceedings-article" @default.
- W1857489778 hasAuthorship W1857489778A5016956007 @default.
- W1857489778 hasAuthorship W1857489778A5032062100 @default.
- W1857489778 hasAuthorship W1857489778A5052401275 @default.
- W1857489778 hasAuthorship W1857489778A5076545746 @default.
- W1857489778 hasConcept C100481476 @default.
- W1857489778 hasConcept C110251889 @default.
- W1857489778 hasConcept C111472728 @default.
- W1857489778 hasConcept C116253237 @default.
- W1857489778 hasConcept C124304363 @default.
- W1857489778 hasConcept C138885662 @default.
- W1857489778 hasConcept C140146324 @default.
- W1857489778 hasConcept C153269930 @default.
- W1857489778 hasConcept C199360897 @default.
- W1857489778 hasConcept C2779907942 @default.
- W1857489778 hasConcept C41008148 @default.
- W1857489778 hasConcept C48044578 @default.
- W1857489778 hasConcept C77088390 @default.
- W1857489778 hasConcept C80444323 @default.
- W1857489778 hasConceptScore W1857489778C100481476 @default.
- W1857489778 hasConceptScore W1857489778C110251889 @default.
- W1857489778 hasConceptScore W1857489778C111472728 @default.
- W1857489778 hasConceptScore W1857489778C116253237 @default.
- W1857489778 hasConceptScore W1857489778C124304363 @default.
- W1857489778 hasConceptScore W1857489778C138885662 @default.
- W1857489778 hasConceptScore W1857489778C140146324 @default.
- W1857489778 hasConceptScore W1857489778C153269930 @default.
- W1857489778 hasConceptScore W1857489778C199360897 @default.
- W1857489778 hasConceptScore W1857489778C2779907942 @default.
- W1857489778 hasConceptScore W1857489778C41008148 @default.
- W1857489778 hasConceptScore W1857489778C48044578 @default.
- W1857489778 hasConceptScore W1857489778C77088390 @default.
- W1857489778 hasConceptScore W1857489778C80444323 @default.
- W1857489778 hasLocation W18574897781 @default.
- W1857489778 hasOpenAccess W1857489778 @default.
- W1857489778 hasPrimaryLocation W18574897781 @default.
- W1857489778 hasRelatedWork W1593065203 @default.
- W1857489778 hasRelatedWork W1609108672 @default.
- W1857489778 hasRelatedWork W1968331212 @default.
- W1857489778 hasRelatedWork W1972548976 @default.
- W1857489778 hasRelatedWork W2102096698 @default.
- W1857489778 hasRelatedWork W2114798710 @default.
- W1857489778 hasRelatedWork W2115947293 @default.
- W1857489778 hasRelatedWork W2121758369 @default.
- W1857489778 hasRelatedWork W2128091120 @default.
- W1857489778 hasRelatedWork W2128519963 @default.
- W1857489778 hasRelatedWork W2128914037 @default.
- W1857489778 hasRelatedWork W2131514293 @default.
- W1857489778 hasRelatedWork W2137444010 @default.
- W1857489778 hasRelatedWork W2151883653 @default.
- W1857489778 hasRelatedWork W2153122714 @default.
- W1857489778 hasRelatedWork W2162992811 @default.
- W1857489778 hasRelatedWork W2248653679 @default.
- W1857489778 hasRelatedWork W2254710113 @default.
- W1857489778 hasRelatedWork W2398099798 @default.
- W1857489778 hasRelatedWork W2535835324 @default.
- W1857489778 isParatext "false" @default.
- W1857489778 isRetracted "false" @default.
- W1857489778 magId "1857489778" @default.
- W1857489778 workType "article" @default.