Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110124517> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2110124517 abstract "Message Sequence Charts (MSCs) is a visual notation for expressing requirements on communicating systems. Their expressive power has traditionally been somewhat limited, and additional information is usually needed by tools that manipulate them: for example, to derive test suites. The new standard MSC-2000, developed by ITU-T, extends earlier versions by constructs for data and high-level control, so that it may be possible to derive test sequences directly from MSC requirements, without the need for additional information. Motivated by this, we present an execution semantics for a significant part of the MSC-2000 standard. The semantics has the form of an Abstract Execution Machine, which can either accept or generate sequences of events that are consistent with a given MSC. Inthe former case, the Abstract Execution Machine can be used as a test oracle, in the latter as a test sequence generator." @default.
- W2110124517 created "2016-06-24" @default.
- W2110124517 creator A5009514870 @default.
- W2110124517 creator A5046348645 @default.
- W2110124517 date "2001-01-01" @default.
- W2110124517 modified "2023-10-18" @default.
- W2110124517 title "An Execution Semantics for MSC-2000" @default.
- W2110124517 cites W1535902893 @default.
- W2110124517 cites W2024851598 @default.
- W2110124517 cites W2111654822 @default.
- W2110124517 cites W2119965246 @default.
- W2110124517 cites W3021270870 @default.
- W2110124517 doi "https://doi.org/10.1007/3-540-48213-x_23" @default.
- W2110124517 hasPublicationYear "2001" @default.
- W2110124517 type Work @default.
- W2110124517 sameAs 2110124517 @default.
- W2110124517 citedByCount "11" @default.
- W2110124517 crossrefType "book-chapter" @default.
- W2110124517 hasAuthorship W2110124517A5009514870 @default.
- W2110124517 hasAuthorship W2110124517A5046348645 @default.
- W2110124517 hasConcept C119857082 @default.
- W2110124517 hasConcept C121332964 @default.
- W2110124517 hasConcept C128942645 @default.
- W2110124517 hasConcept C152877465 @default.
- W2110124517 hasConcept C156325763 @default.
- W2110124517 hasConcept C163258240 @default.
- W2110124517 hasConcept C184337299 @default.
- W2110124517 hasConcept C195818886 @default.
- W2110124517 hasConcept C199360897 @default.
- W2110124517 hasConcept C2778112365 @default.
- W2110124517 hasConcept C2780992000 @default.
- W2110124517 hasConcept C33923547 @default.
- W2110124517 hasConcept C41008148 @default.
- W2110124517 hasConcept C45357846 @default.
- W2110124517 hasConcept C54355233 @default.
- W2110124517 hasConcept C55166926 @default.
- W2110124517 hasConcept C62520636 @default.
- W2110124517 hasConcept C86803240 @default.
- W2110124517 hasConcept C94375191 @default.
- W2110124517 hasConceptScore W2110124517C119857082 @default.
- W2110124517 hasConceptScore W2110124517C121332964 @default.
- W2110124517 hasConceptScore W2110124517C128942645 @default.
- W2110124517 hasConceptScore W2110124517C152877465 @default.
- W2110124517 hasConceptScore W2110124517C156325763 @default.
- W2110124517 hasConceptScore W2110124517C163258240 @default.
- W2110124517 hasConceptScore W2110124517C184337299 @default.
- W2110124517 hasConceptScore W2110124517C195818886 @default.
- W2110124517 hasConceptScore W2110124517C199360897 @default.
- W2110124517 hasConceptScore W2110124517C2778112365 @default.
- W2110124517 hasConceptScore W2110124517C2780992000 @default.
- W2110124517 hasConceptScore W2110124517C33923547 @default.
- W2110124517 hasConceptScore W2110124517C41008148 @default.
- W2110124517 hasConceptScore W2110124517C45357846 @default.
- W2110124517 hasConceptScore W2110124517C54355233 @default.
- W2110124517 hasConceptScore W2110124517C55166926 @default.
- W2110124517 hasConceptScore W2110124517C62520636 @default.
- W2110124517 hasConceptScore W2110124517C86803240 @default.
- W2110124517 hasConceptScore W2110124517C94375191 @default.
- W2110124517 hasLocation W21101245171 @default.
- W2110124517 hasOpenAccess W2110124517 @default.
- W2110124517 hasPrimaryLocation W21101245171 @default.
- W2110124517 hasRelatedWork W1482962177 @default.
- W2110124517 hasRelatedWork W1510714812 @default.
- W2110124517 hasRelatedWork W1554784115 @default.
- W2110124517 hasRelatedWork W1585531884 @default.
- W2110124517 hasRelatedWork W1592055490 @default.
- W2110124517 hasRelatedWork W1935984762 @default.
- W2110124517 hasRelatedWork W1973565420 @default.
- W2110124517 hasRelatedWork W1986117326 @default.
- W2110124517 hasRelatedWork W1987802238 @default.
- W2110124517 hasRelatedWork W1999978273 @default.
- W2110124517 hasRelatedWork W2015903771 @default.
- W2110124517 hasRelatedWork W201628453 @default.
- W2110124517 hasRelatedWork W2036364764 @default.
- W2110124517 hasRelatedWork W2130371441 @default.
- W2110124517 hasRelatedWork W2140523262 @default.
- W2110124517 hasRelatedWork W2144807091 @default.
- W2110124517 hasRelatedWork W2151271773 @default.
- W2110124517 hasRelatedWork W2257508274 @default.
- W2110124517 hasRelatedWork W331201524 @default.
- W2110124517 hasRelatedWork W563872716 @default.
- W2110124517 isParatext "false" @default.
- W2110124517 isRetracted "false" @default.
- W2110124517 magId "2110124517" @default.
- W2110124517 workType "book-chapter" @default.