Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031412897> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2031412897 abstract "The paper discusses modularity and compositionality issues in state-based modeling formalisms and presents related recent research results. Part-Whole State charts provide modular constructs to traditional State charts in order to allow incremental and fully reusable composition of behavioral abstractions, enforcing explicitly the coordinated systemic behavior and bringing benefits to subsequent modeling and implementation phases. The paper shows that Part-Whole State charts have a computable semantics, which can be specified through a constraint-driven specification method. Such a method allows to specify and verify the intended meaning of states directly at design time, thus avoiding to employ less effective verification techniques, such as exhaustive testing or model checking." @default.
- W2031412897 created "2016-06-24" @default.
- W2031412897 creator A5016811043 @default.
- W2031412897 creator A5037491163 @default.
- W2031412897 date "2012-06-01" @default.
- W2031412897 modified "2023-10-14" @default.
- W2031412897 title "Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts" @default.
- W2031412897 cites W1503767920 @default.
- W2031412897 cites W1505618619 @default.
- W2031412897 cites W1537432317 @default.
- W2031412897 cites W1551331198 @default.
- W2031412897 cites W1575681083 @default.
- W2031412897 cites W1604984538 @default.
- W2031412897 cites W1979669672 @default.
- W2031412897 cites W1994259731 @default.
- W2031412897 cites W2014250801 @default.
- W2031412897 cites W2044385771 @default.
- W2031412897 cites W2055505239 @default.
- W2031412897 cites W2099529102 @default.
- W2031412897 cites W2104577599 @default.
- W2031412897 cites W2137865376 @default.
- W2031412897 cites W2139248375 @default.
- W2031412897 cites W2143823328 @default.
- W2031412897 cites W2539132865 @default.
- W2031412897 cites W3144368627 @default.
- W2031412897 doi "https://doi.org/10.1109/acsd.2012.22" @default.
- W2031412897 hasPublicationYear "2012" @default.
- W2031412897 type Work @default.
- W2031412897 sameAs 2031412897 @default.
- W2031412897 citedByCount "5" @default.
- W2031412897 countsByYear W20314128972012 @default.
- W2031412897 countsByYear W20314128972013 @default.
- W2031412897 countsByYear W20314128972014 @default.
- W2031412897 countsByYear W20314128972015 @default.
- W2031412897 countsByYear W20314128972018 @default.
- W2031412897 crossrefType "proceedings-article" @default.
- W2031412897 hasAuthorship W2031412897A5016811043 @default.
- W2031412897 hasAuthorship W2031412897A5037491163 @default.
- W2031412897 hasBestOaLocation W20314128972 @default.
- W2031412897 hasConcept C101468663 @default.
- W2031412897 hasConcept C121375916 @default.
- W2031412897 hasConcept C154945302 @default.
- W2031412897 hasConcept C171018156 @default.
- W2031412897 hasConcept C184337299 @default.
- W2031412897 hasConcept C199360897 @default.
- W2031412897 hasConcept C2524010 @default.
- W2031412897 hasConcept C2776036281 @default.
- W2031412897 hasConcept C2779478453 @default.
- W2031412897 hasConcept C33923547 @default.
- W2031412897 hasConcept C41008148 @default.
- W2031412897 hasConcept C48103436 @default.
- W2031412897 hasConcept C54355233 @default.
- W2031412897 hasConcept C80444323 @default.
- W2031412897 hasConcept C86803240 @default.
- W2031412897 hasConceptScore W2031412897C101468663 @default.
- W2031412897 hasConceptScore W2031412897C121375916 @default.
- W2031412897 hasConceptScore W2031412897C154945302 @default.
- W2031412897 hasConceptScore W2031412897C171018156 @default.
- W2031412897 hasConceptScore W2031412897C184337299 @default.
- W2031412897 hasConceptScore W2031412897C199360897 @default.
- W2031412897 hasConceptScore W2031412897C2524010 @default.
- W2031412897 hasConceptScore W2031412897C2776036281 @default.
- W2031412897 hasConceptScore W2031412897C2779478453 @default.
- W2031412897 hasConceptScore W2031412897C33923547 @default.
- W2031412897 hasConceptScore W2031412897C41008148 @default.
- W2031412897 hasConceptScore W2031412897C48103436 @default.
- W2031412897 hasConceptScore W2031412897C54355233 @default.
- W2031412897 hasConceptScore W2031412897C80444323 @default.
- W2031412897 hasConceptScore W2031412897C86803240 @default.
- W2031412897 hasLocation W20314128971 @default.
- W2031412897 hasLocation W20314128972 @default.
- W2031412897 hasOpenAccess W2031412897 @default.
- W2031412897 hasPrimaryLocation W20314128971 @default.
- W2031412897 hasRelatedWork W1557302199 @default.
- W2031412897 hasRelatedWork W1582156956 @default.
- W2031412897 hasRelatedWork W1828810364 @default.
- W2031412897 hasRelatedWork W1965240571 @default.
- W2031412897 hasRelatedWork W2031412897 @default.
- W2031412897 hasRelatedWork W2090502476 @default.
- W2031412897 hasRelatedWork W2185981755 @default.
- W2031412897 hasRelatedWork W2398345045 @default.
- W2031412897 hasRelatedWork W2527143286 @default.
- W2031412897 hasRelatedWork W2637232237 @default.
- W2031412897 isParatext "false" @default.
- W2031412897 isRetracted "false" @default.
- W2031412897 magId "2031412897" @default.
- W2031412897 workType "article" @default.