Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098058579> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2098058579 abstract "Increased use of software in controlling safety critical systems produced an urgent need to specify and analyze behavior of these systems systematically and rigorously. Statecharts formalism, a popular extension of conventional finite state machines, has been successfully used for specifying requirements of many reactive systems including the TCAS II, an aircraft collision avoidance system. However, little has been published on specific guidelines on how one can best specify and analyze requirements in Statecharts. We present a framework for specifying requirements of real time systems in Statecharts and analyzing them for completeness, consistency, and safety. We use the requirements taken from an emergency shutdown system for a Korean nuclear power plant, called Wolsung SDS2, as an example." @default.
- W2098058579 created "2016-06-24" @default.
- W2098058579 creator A5022851404 @default.
- W2098058579 creator A5032130198 @default.
- W2098058579 date "2002-12-23" @default.
- W2098058579 modified "2023-09-25" @default.
- W2098058579 title "Specification and analysis of real-time systems in Statecharts" @default.
- W2098058579 cites W1492884822 @default.
- W2098058579 cites W1502301190 @default.
- W2098058579 cites W1551331198 @default.
- W2098058579 cites W2099529102 @default.
- W2098058579 cites W2117834984 @default.
- W2098058579 cites W2135120182 @default.
- W2098058579 cites W2141321742 @default.
- W2098058579 cites W2147880466 @default.
- W2098058579 cites W2163380638 @default.
- W2098058579 cites W2488903794 @default.
- W2098058579 doi "https://doi.org/10.1109/words.1996.506274" @default.
- W2098058579 hasPublicationYear "2002" @default.
- W2098058579 type Work @default.
- W2098058579 sameAs 2098058579 @default.
- W2098058579 citedByCount "1" @default.
- W2098058579 crossrefType "proceedings-article" @default.
- W2098058579 hasAuthorship W2098058579A5022851404 @default.
- W2098058579 hasAuthorship W2098058579A5032130198 @default.
- W2098058579 hasBestOaLocation W20980585792 @default.
- W2098058579 hasConcept C102780508 @default.
- W2098058579 hasConcept C115903868 @default.
- W2098058579 hasConcept C116253237 @default.
- W2098058579 hasConcept C120314980 @default.
- W2098058579 hasConcept C127413603 @default.
- W2098058579 hasConcept C142362112 @default.
- W2098058579 hasConcept C149091818 @default.
- W2098058579 hasConcept C149635348 @default.
- W2098058579 hasConcept C153349607 @default.
- W2098058579 hasConcept C154945302 @default.
- W2098058579 hasConcept C167822520 @default.
- W2098058579 hasConcept C186846655 @default.
- W2098058579 hasConcept C199360897 @default.
- W2098058579 hasConcept C200601418 @default.
- W2098058579 hasConcept C2776436953 @default.
- W2098058579 hasConcept C2777904410 @default.
- W2098058579 hasConcept C41008148 @default.
- W2098058579 hasConcept C558565934 @default.
- W2098058579 hasConcept C73301696 @default.
- W2098058579 hasConcept C84651959 @default.
- W2098058579 hasConceptScore W2098058579C102780508 @default.
- W2098058579 hasConceptScore W2098058579C115903868 @default.
- W2098058579 hasConceptScore W2098058579C116253237 @default.
- W2098058579 hasConceptScore W2098058579C120314980 @default.
- W2098058579 hasConceptScore W2098058579C127413603 @default.
- W2098058579 hasConceptScore W2098058579C142362112 @default.
- W2098058579 hasConceptScore W2098058579C149091818 @default.
- W2098058579 hasConceptScore W2098058579C149635348 @default.
- W2098058579 hasConceptScore W2098058579C153349607 @default.
- W2098058579 hasConceptScore W2098058579C154945302 @default.
- W2098058579 hasConceptScore W2098058579C167822520 @default.
- W2098058579 hasConceptScore W2098058579C186846655 @default.
- W2098058579 hasConceptScore W2098058579C199360897 @default.
- W2098058579 hasConceptScore W2098058579C200601418 @default.
- W2098058579 hasConceptScore W2098058579C2776436953 @default.
- W2098058579 hasConceptScore W2098058579C2777904410 @default.
- W2098058579 hasConceptScore W2098058579C41008148 @default.
- W2098058579 hasConceptScore W2098058579C558565934 @default.
- W2098058579 hasConceptScore W2098058579C73301696 @default.
- W2098058579 hasConceptScore W2098058579C84651959 @default.
- W2098058579 hasLocation W20980585791 @default.
- W2098058579 hasLocation W20980585792 @default.
- W2098058579 hasOpenAccess W2098058579 @default.
- W2098058579 hasPrimaryLocation W20980585791 @default.
- W2098058579 hasRelatedWork W1480127063 @default.
- W2098058579 hasRelatedWork W1530930999 @default.
- W2098058579 hasRelatedWork W1575982869 @default.
- W2098058579 hasRelatedWork W1582007022 @default.
- W2098058579 hasRelatedWork W1947261915 @default.
- W2098058579 hasRelatedWork W1992481900 @default.
- W2098058579 hasRelatedWork W2011399359 @default.
- W2098058579 hasRelatedWork W2018951915 @default.
- W2098058579 hasRelatedWork W2084463489 @default.
- W2098058579 hasRelatedWork W2100597985 @default.
- W2098058579 hasRelatedWork W2115741225 @default.
- W2098058579 hasRelatedWork W2135521520 @default.
- W2098058579 hasRelatedWork W2154796853 @default.
- W2098058579 hasRelatedWork W2161350813 @default.
- W2098058579 hasRelatedWork W2170015205 @default.
- W2098058579 hasRelatedWork W2257841989 @default.
- W2098058579 hasRelatedWork W2468485249 @default.
- W2098058579 hasRelatedWork W2532790465 @default.
- W2098058579 hasRelatedWork W2540241477 @default.
- W2098058579 hasRelatedWork W2806038480 @default.
- W2098058579 isParatext "false" @default.
- W2098058579 isRetracted "false" @default.
- W2098058579 magId "2098058579" @default.
- W2098058579 workType "article" @default.