Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568147016> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1568147016 endingPage "253" @default.
- W1568147016 startingPage "235" @default.
- W1568147016 abstract "Graphical specifications are more popular than their formal counterparts. Their underlying formalisms are generally quite simple and models can be constructed intuitively. However, the lack of formality inherent in graphical formalisms means that it is possible to derive multiple interpretations from the same model.This paper presents a structured analysis formalism which has an execution semantics, allowing a single unambiguous interpretation to be obtained from the graphical models produced. The semantics makes the formalism appropriate for automated specification execution. Such execution will allow the correct model interpretation to be animated, to aid user requirements validation.KeywordsExecution SchemeInteraction StageFlat ModelExecution SemanticEvent QueueThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1568147016 created "2016-06-24" @default.
- W1568147016 creator A5000465406 @default.
- W1568147016 creator A5022607216 @default.
- W1568147016 date "1995-01-01" @default.
- W1568147016 modified "2023-09-28" @default.
- W1568147016 title "A structured analysis formalism with execution semantics to allow unambiguous model interpretation" @default.
- W1568147016 cites W2019722912 @default.
- W1568147016 cites W2020775305 @default.
- W1568147016 cites W2064998883 @default.
- W1568147016 cites W2080747148 @default.
- W1568147016 cites W2094079129 @default.
- W1568147016 cites W2099529102 @default.
- W1568147016 cites W2151397158 @default.
- W1568147016 cites W2157577995 @default.
- W1568147016 cites W4237769480 @default.
- W1568147016 doi "https://doi.org/10.1007/3-540-60406-5_18" @default.
- W1568147016 hasPublicationYear "1995" @default.
- W1568147016 type Work @default.
- W1568147016 sameAs 1568147016 @default.
- W1568147016 citedByCount "1" @default.
- W1568147016 crossrefType "book-chapter" @default.
- W1568147016 hasAuthorship W1568147016A5000465406 @default.
- W1568147016 hasAuthorship W1568147016A5022607216 @default.
- W1568147016 hasConcept C111472728 @default.
- W1568147016 hasConcept C138885662 @default.
- W1568147016 hasConcept C142362112 @default.
- W1568147016 hasConcept C145644426 @default.
- W1568147016 hasConcept C146499914 @default.
- W1568147016 hasConcept C153349607 @default.
- W1568147016 hasConcept C171018156 @default.
- W1568147016 hasConcept C184337299 @default.
- W1568147016 hasConcept C199360897 @default.
- W1568147016 hasConcept C2524010 @default.
- W1568147016 hasConcept C2777159308 @default.
- W1568147016 hasConcept C2777904410 @default.
- W1568147016 hasConcept C2780586882 @default.
- W1568147016 hasConcept C2780654840 @default.
- W1568147016 hasConcept C33923547 @default.
- W1568147016 hasConcept C41008148 @default.
- W1568147016 hasConcept C41895202 @default.
- W1568147016 hasConcept C527412718 @default.
- W1568147016 hasConcept C558565934 @default.
- W1568147016 hasConcept C73301696 @default.
- W1568147016 hasConcept C80444323 @default.
- W1568147016 hasConceptScore W1568147016C111472728 @default.
- W1568147016 hasConceptScore W1568147016C138885662 @default.
- W1568147016 hasConceptScore W1568147016C142362112 @default.
- W1568147016 hasConceptScore W1568147016C145644426 @default.
- W1568147016 hasConceptScore W1568147016C146499914 @default.
- W1568147016 hasConceptScore W1568147016C153349607 @default.
- W1568147016 hasConceptScore W1568147016C171018156 @default.
- W1568147016 hasConceptScore W1568147016C184337299 @default.
- W1568147016 hasConceptScore W1568147016C199360897 @default.
- W1568147016 hasConceptScore W1568147016C2524010 @default.
- W1568147016 hasConceptScore W1568147016C2777159308 @default.
- W1568147016 hasConceptScore W1568147016C2777904410 @default.
- W1568147016 hasConceptScore W1568147016C2780586882 @default.
- W1568147016 hasConceptScore W1568147016C2780654840 @default.
- W1568147016 hasConceptScore W1568147016C33923547 @default.
- W1568147016 hasConceptScore W1568147016C41008148 @default.
- W1568147016 hasConceptScore W1568147016C41895202 @default.
- W1568147016 hasConceptScore W1568147016C527412718 @default.
- W1568147016 hasConceptScore W1568147016C558565934 @default.
- W1568147016 hasConceptScore W1568147016C73301696 @default.
- W1568147016 hasConceptScore W1568147016C80444323 @default.
- W1568147016 hasLocation W15681470161 @default.
- W1568147016 hasOpenAccess W1568147016 @default.
- W1568147016 hasPrimaryLocation W15681470161 @default.
- W1568147016 hasRelatedWork W1453568478 @default.
- W1568147016 hasRelatedWork W1557302199 @default.
- W1568147016 hasRelatedWork W1850564567 @default.
- W1568147016 hasRelatedWork W2056325302 @default.
- W1568147016 hasRelatedWork W2068349362 @default.
- W1568147016 hasRelatedWork W2149952006 @default.
- W1568147016 hasRelatedWork W2188386601 @default.
- W1568147016 hasRelatedWork W2400134108 @default.
- W1568147016 hasRelatedWork W2517585486 @default.
- W1568147016 hasRelatedWork W2524005430 @default.
- W1568147016 hasRelatedWork W2751426875 @default.
- W1568147016 hasRelatedWork W2752097412 @default.
- W1568147016 hasRelatedWork W2950769399 @default.
- W1568147016 hasRelatedWork W2951337749 @default.
- W1568147016 hasRelatedWork W2964513622 @default.
- W1568147016 hasRelatedWork W3080738570 @default.
- W1568147016 hasRelatedWork W3139603584 @default.
- W1568147016 hasRelatedWork W321717935 @default.
- W1568147016 hasRelatedWork W2409093301 @default.
- W1568147016 hasRelatedWork W2971976311 @default.
- W1568147016 isParatext "false" @default.
- W1568147016 isRetracted "false" @default.
- W1568147016 magId "1568147016" @default.
- W1568147016 workType "book-chapter" @default.