Matches in SemOpenAlex for { <https://semopenalex.org/work/W102310329> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W102310329 abstract "Scenarios and properties are used to describe requirements specifications. Behavioral models can be synthesized from these scenarios and properties. New scenarios and properties are usually added to requirements specification after the creation of the behavioral models. Alphabet is the set of actions/events used to describe scenarios and properties. Alternative alphabets arise when a new scenario or property is added to the requirements with a new alphabet. Modifying behavioral models in the case of alternative alphabets need more considerations because existing synthesis algorithms must be rerun with the new alphabet. We propose additional steps that modify the behavioral model of properties to reflect new actions/events discovered in scenarios (or properties). Similarly, we propose additional steps that modify the behavioral model of scenarios to reflect new events (actions) discovered in properties." @default.
- W102310329 created "2016-06-24" @default.
- W102310329 creator A5027335196 @default.
- W102310329 creator A5084097332 @default.
- W102310329 date "2012-08-28" @default.
- W102310329 modified "2023-09-27" @default.
- W102310329 title "Behavioral Models with Alternative Alphabets" @default.
- W102310329 cites W1828299600 @default.
- W102310329 cites W2011588678 @default.
- W102310329 cites W2015688007 @default.
- W102310329 cites W2027515180 @default.
- W102310329 cites W2086070079 @default.
- W102310329 cites W2102071894 @default.
- W102310329 cites W2111757195 @default.
- W102310329 cites W2116643105 @default.
- W102310329 cites W2117108284 @default.
- W102310329 cites W2123042765 @default.
- W102310329 cites W2134908243 @default.
- W102310329 cites W2160781976 @default.
- W102310329 cites W2163177748 @default.
- W102310329 cites W2164440547 @default.
- W102310329 cites W4235545194 @default.
- W102310329 doi "https://doi.org/10.1007/978-1-4614-3535-8_81" @default.
- W102310329 hasPublicationYear "2012" @default.
- W102310329 type Work @default.
- W102310329 sameAs 102310329 @default.
- W102310329 citedByCount "1" @default.
- W102310329 countsByYear W1023103292020 @default.
- W102310329 crossrefType "book-chapter" @default.
- W102310329 hasAuthorship W102310329A5027335196 @default.
- W102310329 hasAuthorship W102310329A5084097332 @default.
- W102310329 hasConcept C111472728 @default.
- W102310329 hasConcept C112876837 @default.
- W102310329 hasConcept C138885662 @default.
- W102310329 hasConcept C154945302 @default.
- W102310329 hasConcept C177264268 @default.
- W102310329 hasConcept C189950617 @default.
- W102310329 hasConcept C199360897 @default.
- W102310329 hasConcept C41008148 @default.
- W102310329 hasConcept C41895202 @default.
- W102310329 hasConcept C78639753 @default.
- W102310329 hasConcept C80444323 @default.
- W102310329 hasConceptScore W102310329C111472728 @default.
- W102310329 hasConceptScore W102310329C112876837 @default.
- W102310329 hasConceptScore W102310329C138885662 @default.
- W102310329 hasConceptScore W102310329C154945302 @default.
- W102310329 hasConceptScore W102310329C177264268 @default.
- W102310329 hasConceptScore W102310329C189950617 @default.
- W102310329 hasConceptScore W102310329C199360897 @default.
- W102310329 hasConceptScore W102310329C41008148 @default.
- W102310329 hasConceptScore W102310329C41895202 @default.
- W102310329 hasConceptScore W102310329C78639753 @default.
- W102310329 hasConceptScore W102310329C80444323 @default.
- W102310329 hasLocation W1023103291 @default.
- W102310329 hasOpenAccess W102310329 @default.
- W102310329 hasPrimaryLocation W1023103291 @default.
- W102310329 hasRelatedWork W132104156 @default.
- W102310329 hasRelatedWork W136668459 @default.
- W102310329 hasRelatedWork W1988888575 @default.
- W102310329 hasRelatedWork W2015589770 @default.
- W102310329 hasRelatedWork W2025190555 @default.
- W102310329 hasRelatedWork W2033580662 @default.
- W102310329 hasRelatedWork W2034227487 @default.
- W102310329 hasRelatedWork W2080835075 @default.
- W102310329 hasRelatedWork W2157670316 @default.
- W102310329 hasRelatedWork W2234898815 @default.
- W102310329 hasRelatedWork W2319627795 @default.
- W102310329 hasRelatedWork W2399806020 @default.
- W102310329 hasRelatedWork W2603437054 @default.
- W102310329 hasRelatedWork W2731606488 @default.
- W102310329 hasRelatedWork W2989021963 @default.
- W102310329 hasRelatedWork W3102409237 @default.
- W102310329 hasRelatedWork W3158318433 @default.
- W102310329 hasRelatedWork W3196597295 @default.
- W102310329 hasRelatedWork W3790426 @default.
- W102310329 hasRelatedWork W39944018 @default.
- W102310329 isParatext "false" @default.
- W102310329 isRetracted "false" @default.
- W102310329 magId "102310329" @default.
- W102310329 workType "book-chapter" @default.