Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128052364> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2128052364 abstract "The paper presents an approach to model checking software system designs specified in xUML (http://www.kc.com/html/xuml.html), an executable subset of UML. This approach is enabled by the execution semantics of xUML and is based on automatic translation from xUML to S/R, the input language of the COSPAN model checker (R.H. Hardin et al., 1996). Model transformations are applied to reduce the state space of the resulting S/R model that is to be verified by COSPAN. An xUML level logic for specifying properties to be checked is defined. Automated support is provided for translating properties specified in the logic to S/R representations and mapping error traces generated by COSPAN to xUML representations." @default.
- W2128052364 created "2016-06-24" @default.
- W2128052364 creator A5037474803 @default.
- W2128052364 creator A5048144391 @default.
- W2128052364 creator A5064263297 @default.
- W2128052364 date "2005-08-25" @default.
- W2128052364 modified "2023-09-22" @default.
- W2128052364 title "Model checking for an executable subset of UML" @default.
- W2128052364 cites W1506729072 @default.
- W2128052364 cites W1539345619 @default.
- W2128052364 cites W1965309410 @default.
- W2128052364 cites W2132150351 @default.
- W2128052364 cites W2159720139 @default.
- W2128052364 cites W2171480813 @default.
- W2128052364 cites W3017738704 @default.
- W2128052364 doi "https://doi.org/10.1109/ase.2001.989823" @default.
- W2128052364 hasPublicationYear "2005" @default.
- W2128052364 type Work @default.
- W2128052364 sameAs 2128052364 @default.
- W2128052364 citedByCount "16" @default.
- W2128052364 countsByYear W21280523642013 @default.
- W2128052364 countsByYear W21280523642016 @default.
- W2128052364 countsByYear W21280523642017 @default.
- W2128052364 countsByYear W21280523642018 @default.
- W2128052364 crossrefType "proceedings-article" @default.
- W2128052364 hasAuthorship W2128052364A5037474803 @default.
- W2128052364 hasAuthorship W2128052364A5048144391 @default.
- W2128052364 hasAuthorship W2128052364A5064263297 @default.
- W2128052364 hasConcept C104317684 @default.
- W2128052364 hasConcept C105580179 @default.
- W2128052364 hasConcept C110251889 @default.
- W2128052364 hasConcept C145644426 @default.
- W2128052364 hasConcept C149364088 @default.
- W2128052364 hasConcept C160145156 @default.
- W2128052364 hasConcept C184337299 @default.
- W2128052364 hasConcept C185592680 @default.
- W2128052364 hasConcept C199360897 @default.
- W2128052364 hasConcept C2777904410 @default.
- W2128052364 hasConcept C41008148 @default.
- W2128052364 hasConcept C55493867 @default.
- W2128052364 hasConcept C80444323 @default.
- W2128052364 hasConceptScore W2128052364C104317684 @default.
- W2128052364 hasConceptScore W2128052364C105580179 @default.
- W2128052364 hasConceptScore W2128052364C110251889 @default.
- W2128052364 hasConceptScore W2128052364C145644426 @default.
- W2128052364 hasConceptScore W2128052364C149364088 @default.
- W2128052364 hasConceptScore W2128052364C160145156 @default.
- W2128052364 hasConceptScore W2128052364C184337299 @default.
- W2128052364 hasConceptScore W2128052364C185592680 @default.
- W2128052364 hasConceptScore W2128052364C199360897 @default.
- W2128052364 hasConceptScore W2128052364C2777904410 @default.
- W2128052364 hasConceptScore W2128052364C41008148 @default.
- W2128052364 hasConceptScore W2128052364C55493867 @default.
- W2128052364 hasConceptScore W2128052364C80444323 @default.
- W2128052364 hasLocation W21280523641 @default.
- W2128052364 hasOpenAccess W2128052364 @default.
- W2128052364 hasPrimaryLocation W21280523641 @default.
- W2128052364 hasRelatedWork W1487383476 @default.
- W2128052364 hasRelatedWork W1508451833 @default.
- W2128052364 hasRelatedWork W1570069626 @default.
- W2128052364 hasRelatedWork W1592267339 @default.
- W2128052364 hasRelatedWork W1597414920 @default.
- W2128052364 hasRelatedWork W1602736775 @default.
- W2128052364 hasRelatedWork W1977237988 @default.
- W2128052364 hasRelatedWork W2020034474 @default.
- W2128052364 hasRelatedWork W2023499821 @default.
- W2128052364 hasRelatedWork W2106216655 @default.
- W2128052364 hasRelatedWork W2115309705 @default.
- W2128052364 hasRelatedWork W2120450154 @default.
- W2128052364 hasRelatedWork W2121163444 @default.
- W2128052364 hasRelatedWork W2130221748 @default.
- W2128052364 hasRelatedWork W2134593035 @default.
- W2128052364 hasRelatedWork W2155391106 @default.
- W2128052364 hasRelatedWork W2156027773 @default.
- W2128052364 hasRelatedWork W2159720139 @default.
- W2128052364 hasRelatedWork W2171427669 @default.
- W2128052364 hasRelatedWork W2977406125 @default.
- W2128052364 isParatext "false" @default.
- W2128052364 isRetracted "false" @default.
- W2128052364 magId "2128052364" @default.
- W2128052364 workType "article" @default.