Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096204075> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2096204075 endingPage "323" @default.
- W2096204075 startingPage "315" @default.
- W2096204075 abstract "An approach to testing the consistency of specifications is explored, which is applicable to the design validation of communication protocols and other cases of step-wise refinement. In this approach, a testing module compares a trace of interactions obtained from an execution of the refined specification (e.g., the protocol specification) with the reference specification (e.g., the communication service specification). Nondeterminism in reference specifications presents certain problems. Using an extended finite state transition model for the specifications, a strategy for limiting the amount of nondeterminacy is presented. An automated method for constructing a testing module for a given reference specification is discussed. Experience with the application of this testing approach to the design of a transport protocol and a distributed mutual exclusion algorithm is described." @default.
- W2096204075 created "2016-06-24" @default.
- W2096204075 creator A5049960696 @default.
- W2096204075 creator A5083944273 @default.
- W2096204075 date "1983-12-01" @default.
- W2096204075 modified "2023-10-01" @default.
- W2096204075 title "An approach to testing specifications" @default.
- W2096204075 cites W2153339829 @default.
- W2096204075 cites W2164198791 @default.
- W2096204075 cites W3137220996 @default.
- W2096204075 doi "https://doi.org/10.1016/0164-1212(83)90018-3" @default.
- W2096204075 hasPublicationYear "1983" @default.
- W2096204075 type Work @default.
- W2096204075 sameAs 2096204075 @default.
- W2096204075 citedByCount "11" @default.
- W2096204075 countsByYear W20962040752015 @default.
- W2096204075 countsByYear W20962040752020 @default.
- W2096204075 crossrefType "journal-article" @default.
- W2096204075 hasAuthorship W2096204075A5049960696 @default.
- W2096204075 hasAuthorship W2096204075A5083944273 @default.
- W2096204075 hasConcept C111919701 @default.
- W2096204075 hasConcept C116253237 @default.
- W2096204075 hasConcept C120314980 @default.
- W2096204075 hasConcept C127413603 @default.
- W2096204075 hasConcept C138885662 @default.
- W2096204075 hasConcept C142724271 @default.
- W2096204075 hasConcept C154945302 @default.
- W2096204075 hasConcept C188087704 @default.
- W2096204075 hasConcept C199360897 @default.
- W2096204075 hasConcept C200601418 @default.
- W2096204075 hasConcept C201677973 @default.
- W2096204075 hasConcept C204787440 @default.
- W2096204075 hasConcept C2776436953 @default.
- W2096204075 hasConcept C2780385302 @default.
- W2096204075 hasConcept C41008148 @default.
- W2096204075 hasConcept C41895202 @default.
- W2096204075 hasConcept C48103436 @default.
- W2096204075 hasConcept C71924100 @default.
- W2096204075 hasConcept C75291252 @default.
- W2096204075 hasConcept C75606506 @default.
- W2096204075 hasConcept C76844732 @default.
- W2096204075 hasConcept C90069079 @default.
- W2096204075 hasConceptScore W2096204075C111919701 @default.
- W2096204075 hasConceptScore W2096204075C116253237 @default.
- W2096204075 hasConceptScore W2096204075C120314980 @default.
- W2096204075 hasConceptScore W2096204075C127413603 @default.
- W2096204075 hasConceptScore W2096204075C138885662 @default.
- W2096204075 hasConceptScore W2096204075C142724271 @default.
- W2096204075 hasConceptScore W2096204075C154945302 @default.
- W2096204075 hasConceptScore W2096204075C188087704 @default.
- W2096204075 hasConceptScore W2096204075C199360897 @default.
- W2096204075 hasConceptScore W2096204075C200601418 @default.
- W2096204075 hasConceptScore W2096204075C201677973 @default.
- W2096204075 hasConceptScore W2096204075C204787440 @default.
- W2096204075 hasConceptScore W2096204075C2776436953 @default.
- W2096204075 hasConceptScore W2096204075C2780385302 @default.
- W2096204075 hasConceptScore W2096204075C41008148 @default.
- W2096204075 hasConceptScore W2096204075C41895202 @default.
- W2096204075 hasConceptScore W2096204075C48103436 @default.
- W2096204075 hasConceptScore W2096204075C71924100 @default.
- W2096204075 hasConceptScore W2096204075C75291252 @default.
- W2096204075 hasConceptScore W2096204075C75606506 @default.
- W2096204075 hasConceptScore W2096204075C76844732 @default.
- W2096204075 hasConceptScore W2096204075C90069079 @default.
- W2096204075 hasIssue "4" @default.
- W2096204075 hasLocation W20962040751 @default.
- W2096204075 hasOpenAccess W2096204075 @default.
- W2096204075 hasPrimaryLocation W20962040751 @default.
- W2096204075 hasRelatedWork W1520778375 @default.
- W2096204075 hasRelatedWork W1559579193 @default.
- W2096204075 hasRelatedWork W1585277884 @default.
- W2096204075 hasRelatedWork W2098613964 @default.
- W2096204075 hasRelatedWork W2368560475 @default.
- W2096204075 hasRelatedWork W25224113 @default.
- W2096204075 hasRelatedWork W2592399342 @default.
- W2096204075 hasRelatedWork W2898425611 @default.
- W2096204075 hasRelatedWork W4254808108 @default.
- W2096204075 hasRelatedWork W44333732 @default.
- W2096204075 hasVolume "3" @default.
- W2096204075 isParatext "false" @default.
- W2096204075 isRetracted "false" @default.
- W2096204075 magId "2096204075" @default.
- W2096204075 workType "article" @default.