Matches in SemOpenAlex for { <https://semopenalex.org/work/W202597583> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W202597583 endingPage "193" @default.
- W202597583 startingPage "179" @default.
- W202597583 abstract "Sequence enumeration is a method for deriving a system model based on informal requirements. Under sequence enumeration, stimulus (input) sequences are considered in a breadth-first manner, with the expected system response to each sequence given. Not all sequences of stimuli are considered since a sequence need not be extended if either it is illegal (it cannot be applied in practice) or it can be reduced to another sequence previously considered (the sequences take the system to the same state). Sequence enumeration is mostly a manual process, which leads to a model that can be used as the basis for automation. This paper describes a method, based on string-rewriting, that automates parts of sequence enumeration. This automation has the potential to reduce both the cost and time involved in sequence enumeration but also to reduce the scope for human error. In addition to outlining this method, we discuss our experiences in applying it to four case studies." @default.
- W202597583 created "2016-06-24" @default.
- W202597583 creator A5009644797 @default.
- W202597583 creator A5015860750 @default.
- W202597583 creator A5050176707 @default.
- W202597583 creator A5063044419 @default.
- W202597583 creator A5065993737 @default.
- W202597583 date "2013-01-01" @default.
- W202597583 modified "2023-09-27" @default.
- W202597583 title "Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification" @default.
- W202597583 cites W133354355 @default.
- W202597583 cites W1967535316 @default.
- W202597583 cites W1968678319 @default.
- W202597583 cites W1991597775 @default.
- W202597583 cites W2019389359 @default.
- W202597583 cites W2033392342 @default.
- W202597583 cites W2131958170 @default.
- W202597583 cites W2156429182 @default.
- W202597583 cites W2158699648 @default.
- W202597583 cites W2167740161 @default.
- W202597583 cites W2396714452 @default.
- W202597583 cites W4302964898 @default.
- W202597583 doi "https://doi.org/10.1007/978-3-642-37057-1_13" @default.
- W202597583 hasPublicationYear "2013" @default.
- W202597583 type Work @default.
- W202597583 sameAs 202597583 @default.
- W202597583 citedByCount "1" @default.
- W202597583 countsByYear W2025975832017 @default.
- W202597583 crossrefType "book-chapter" @default.
- W202597583 hasAuthorship W202597583A5009644797 @default.
- W202597583 hasAuthorship W202597583A5015860750 @default.
- W202597583 hasAuthorship W202597583A5050176707 @default.
- W202597583 hasAuthorship W202597583A5063044419 @default.
- W202597583 hasAuthorship W202597583A5065993737 @default.
- W202597583 hasBestOaLocation W2025975831 @default.
- W202597583 hasConcept C11413529 @default.
- W202597583 hasConcept C115901376 @default.
- W202597583 hasConcept C118615104 @default.
- W202597583 hasConcept C127413603 @default.
- W202597583 hasConcept C154690210 @default.
- W202597583 hasConcept C156340839 @default.
- W202597583 hasConcept C157486923 @default.
- W202597583 hasConcept C199360897 @default.
- W202597583 hasConcept C2778012447 @default.
- W202597583 hasConcept C2778112365 @default.
- W202597583 hasConcept C33923547 @default.
- W202597583 hasConcept C37914503 @default.
- W202597583 hasConcept C41008148 @default.
- W202597583 hasConcept C54355233 @default.
- W202597583 hasConcept C78519656 @default.
- W202597583 hasConcept C80444323 @default.
- W202597583 hasConcept C86803240 @default.
- W202597583 hasConceptScore W202597583C11413529 @default.
- W202597583 hasConceptScore W202597583C115901376 @default.
- W202597583 hasConceptScore W202597583C118615104 @default.
- W202597583 hasConceptScore W202597583C127413603 @default.
- W202597583 hasConceptScore W202597583C154690210 @default.
- W202597583 hasConceptScore W202597583C156340839 @default.
- W202597583 hasConceptScore W202597583C157486923 @default.
- W202597583 hasConceptScore W202597583C199360897 @default.
- W202597583 hasConceptScore W202597583C2778012447 @default.
- W202597583 hasConceptScore W202597583C2778112365 @default.
- W202597583 hasConceptScore W202597583C33923547 @default.
- W202597583 hasConceptScore W202597583C37914503 @default.
- W202597583 hasConceptScore W202597583C41008148 @default.
- W202597583 hasConceptScore W202597583C54355233 @default.
- W202597583 hasConceptScore W202597583C78519656 @default.
- W202597583 hasConceptScore W202597583C80444323 @default.
- W202597583 hasConceptScore W202597583C86803240 @default.
- W202597583 hasLocation W2025975831 @default.
- W202597583 hasOpenAccess W202597583 @default.
- W202597583 hasPrimaryLocation W2025975831 @default.
- W202597583 hasRelatedWork W1561964073 @default.
- W202597583 hasRelatedWork W1979211754 @default.
- W202597583 hasRelatedWork W2013111119 @default.
- W202597583 hasRelatedWork W2022085385 @default.
- W202597583 hasRelatedWork W202597583 @default.
- W202597583 hasRelatedWork W2108174561 @default.
- W202597583 hasRelatedWork W2475423329 @default.
- W202597583 hasRelatedWork W2944938461 @default.
- W202597583 hasRelatedWork W4240242535 @default.
- W202597583 hasRelatedWork W4251805752 @default.
- W202597583 isParatext "false" @default.
- W202597583 isRetracted "false" @default.
- W202597583 magId "202597583" @default.
- W202597583 workType "book-chapter" @default.