Matches in SemOpenAlex for { <https://semopenalex.org/work/W3013072890> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3013072890 endingPage "100" @default.
- W3013072890 startingPage "83" @default.
- W3013072890 abstract "We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, and provide the extension with an executable semantics. The extension involves support for instances that can bind to multiple objects and symbolic variables that can bind to arbitrary values. The result is a powerful executable language for expressing behavioral requirements on the level of inter-object interaction. The extension is implemented in full in our play-engine tool, with which one can execute the requirements directly without the need to build or synthesize an intra-object system model. It seems that in addition to many advantages in testing and requirements engineering, for some kinds of systems this could lead to the requirements actually serving as the final implementation." @default.
- W3013072890 created "2020-04-03" @default.
- W3013072890 creator A5009333472 @default.
- W3013072890 creator A5017831635 @default.
- W3013072890 creator A5056934349 @default.
- W3013072890 date "2002-11-04" @default.
- W3013072890 modified "2023-09-26" @default.
- W3013072890 title "Multiple instances and symbolic variables in executable sequence charts" @default.
- W3013072890 cites W1778827758 @default.
- W3013072890 cites W2121163444 @default.
- W3013072890 cites W4230925489 @default.
- W3013072890 doi "https://doi.org/10.1145/583854.582429" @default.
- W3013072890 hasPublicationYear "2002" @default.
- W3013072890 type Work @default.
- W3013072890 sameAs 3013072890 @default.
- W3013072890 citedByCount "6" @default.
- W3013072890 countsByYear W30130728902014 @default.
- W3013072890 countsByYear W30130728902016 @default.
- W3013072890 countsByYear W30130728902017 @default.
- W3013072890 crossrefType "journal-article" @default.
- W3013072890 hasAuthorship W3013072890A5009333472 @default.
- W3013072890 hasAuthorship W3013072890A5017831635 @default.
- W3013072890 hasAuthorship W3013072890A5056934349 @default.
- W3013072890 hasConcept C145644426 @default.
- W3013072890 hasConcept C153185123 @default.
- W3013072890 hasConcept C154945302 @default.
- W3013072890 hasConcept C160145156 @default.
- W3013072890 hasConcept C184337299 @default.
- W3013072890 hasConcept C199360897 @default.
- W3013072890 hasConcept C2777904410 @default.
- W3013072890 hasConcept C2778029271 @default.
- W3013072890 hasConcept C2778112365 @default.
- W3013072890 hasConcept C2781238097 @default.
- W3013072890 hasConcept C41008148 @default.
- W3013072890 hasConcept C54355233 @default.
- W3013072890 hasConcept C80444323 @default.
- W3013072890 hasConcept C86803240 @default.
- W3013072890 hasConceptScore W3013072890C145644426 @default.
- W3013072890 hasConceptScore W3013072890C153185123 @default.
- W3013072890 hasConceptScore W3013072890C154945302 @default.
- W3013072890 hasConceptScore W3013072890C160145156 @default.
- W3013072890 hasConceptScore W3013072890C184337299 @default.
- W3013072890 hasConceptScore W3013072890C199360897 @default.
- W3013072890 hasConceptScore W3013072890C2777904410 @default.
- W3013072890 hasConceptScore W3013072890C2778029271 @default.
- W3013072890 hasConceptScore W3013072890C2778112365 @default.
- W3013072890 hasConceptScore W3013072890C2781238097 @default.
- W3013072890 hasConceptScore W3013072890C41008148 @default.
- W3013072890 hasConceptScore W3013072890C54355233 @default.
- W3013072890 hasConceptScore W3013072890C80444323 @default.
- W3013072890 hasConceptScore W3013072890C86803240 @default.
- W3013072890 hasIssue "11" @default.
- W3013072890 hasLocation W30130728901 @default.
- W3013072890 hasOpenAccess W3013072890 @default.
- W3013072890 hasPrimaryLocation W30130728901 @default.
- W3013072890 hasRelatedWork W123232229 @default.
- W3013072890 hasRelatedWork W12785170 @default.
- W3013072890 hasRelatedWork W1587224678 @default.
- W3013072890 hasRelatedWork W1965910013 @default.
- W3013072890 hasRelatedWork W2026046761 @default.
- W3013072890 hasRelatedWork W2125784002 @default.
- W3013072890 hasRelatedWork W2135747418 @default.
- W3013072890 hasRelatedWork W2244075056 @default.
- W3013072890 hasRelatedWork W2894626147 @default.
- W3013072890 hasRelatedWork W3145431186 @default.
- W3013072890 hasVolume "37" @default.
- W3013072890 isParatext "false" @default.
- W3013072890 isRetracted "false" @default.
- W3013072890 magId "3013072890" @default.
- W3013072890 workType "article" @default.