Matches in SemOpenAlex for { <https://semopenalex.org/work/W26684361> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W26684361 endingPage "363" @default.
- W26684361 startingPage "350" @default.
- W26684361 abstract "Reactive systems work in an online manner, accepting inputs from the environment or from the user and producing outputs which are then consumed by the environment. Important examples of reactive applications include online computer games, operating systems, simulation environments, etc. Software development for reactive systems is a challenge, because the usual verification and testing techniques are hardly applicable for them. We describe a novel development approach based on using the formal mechanism of State Transition Rules (STR) for specifying a reactive system. Our main contribution is the transformation method for refining system's STR into a Lyee program specification, which allows the developer to generate a provably correct target program. We illustrate our approach using an example of the interactive Othello game." @default.
- W26684361 created "2016-06-24" @default.
- W26684361 creator A5042597849 @default.
- W26684361 creator A5049876901 @default.
- W26684361 creator A5061421539 @default.
- W26684361 creator A5066995452 @default.
- W26684361 date "2009-07-19" @default.
- W26684361 modified "2023-09-27" @default.
- W26684361 title "Towards a Verification-Based Development Approach for Reactive Systems" @default.
- W26684361 cites W107331080 @default.
- W26684361 cites W110825143 @default.
- W26684361 cites W131295526 @default.
- W26684361 cites W133551202 @default.
- W26684361 cites W1575628936 @default.
- W26684361 cites W177102307 @default.
- W26684361 cites W180220254 @default.
- W26684361 cites W1965239718 @default.
- W26684361 cites W2053187393 @default.
- W26684361 cites W615678228 @default.
- W26684361 cites W3180060601 @default.
- W26684361 hasPublicationYear "2009" @default.
- W26684361 type Work @default.
- W26684361 sameAs 26684361 @default.
- W26684361 citedByCount "0" @default.
- W26684361 crossrefType "proceedings-article" @default.
- W26684361 hasAuthorship W26684361A5042597849 @default.
- W26684361 hasAuthorship W26684361A5049876901 @default.
- W26684361 hasAuthorship W26684361A5061421539 @default.
- W26684361 hasAuthorship W26684361A5066995452 @default.
- W26684361 hasConcept C115903868 @default.
- W26684361 hasConcept C120314980 @default.
- W26684361 hasConcept C139968098 @default.
- W26684361 hasConcept C199360897 @default.
- W26684361 hasConcept C41008148 @default.
- W26684361 hasConceptScore W26684361C115903868 @default.
- W26684361 hasConceptScore W26684361C120314980 @default.
- W26684361 hasConceptScore W26684361C139968098 @default.
- W26684361 hasConceptScore W26684361C199360897 @default.
- W26684361 hasConceptScore W26684361C41008148 @default.
- W26684361 hasLocation W266843611 @default.
- W26684361 hasOpenAccess W26684361 @default.
- W26684361 hasPrimaryLocation W266843611 @default.
- W26684361 hasRelatedWork W116896399 @default.
- W26684361 hasRelatedWork W1639193690 @default.
- W26684361 hasRelatedWork W1931845768 @default.
- W26684361 hasRelatedWork W1967644203 @default.
- W26684361 hasRelatedWork W2013081683 @default.
- W26684361 hasRelatedWork W2019315733 @default.
- W26684361 hasRelatedWork W2044116701 @default.
- W26684361 hasRelatedWork W20683823 @default.
- W26684361 hasRelatedWork W2108893269 @default.
- W26684361 hasRelatedWork W2130876362 @default.
- W26684361 hasRelatedWork W2142195741 @default.
- W26684361 hasRelatedWork W2167417641 @default.
- W26684361 hasRelatedWork W2333608992 @default.
- W26684361 hasRelatedWork W2509706984 @default.
- W26684361 hasRelatedWork W2740087752 @default.
- W26684361 hasRelatedWork W2946306873 @default.
- W26684361 hasRelatedWork W3123540170 @default.
- W26684361 hasRelatedWork W3150477774 @default.
- W26684361 hasRelatedWork W829764197 @default.
- W26684361 hasRelatedWork W2662838025 @default.
- W26684361 isParatext "false" @default.
- W26684361 isRetracted "false" @default.
- W26684361 magId "26684361" @default.
- W26684361 workType "article" @default.