Matches in SemOpenAlex for { <https://semopenalex.org/work/W644535914> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W644535914 endingPage "383" @default.
- W644535914 startingPage "369" @default.
- W644535914 abstract "AbstractThe increasing complexity of embedded systems makes the formal specification of requirements both more important and more difficult. Services can help provide a foundation for model-driven requirements engineering for multi-functional embedded systems. This paper provides a conceptual framework that applies a novel modeling approach to the development of embedded systems. We suggest tables as pragmatic specification formalism for a both precise and readable specification of systems, their interfaces, and their functional properties. By translating tables into logical formulas, which define precise semantics for them, the structure specification and refinement of system can be contained. The approach is illustrated by a case study – a tabular specification of a SwStore system.KeywordsTabular SpecificationSyntactic InterfaceRequirements State Machine Language (RSML)Atomic ServicesTabular NotationThese 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.
- W644535914 created "2016-06-24" @default.
- W644535914 creator A5086177988 @default.
- W644535914 date "2014-01-01" @default.
- W644535914 modified "2023-09-25" @default.
- W644535914 title "A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables" @default.
- W644535914 cites W1503029938 @default.
- W644535914 cites W1529782179 @default.
- W644535914 cites W1595351489 @default.
- W644535914 cites W1763668541 @default.
- W644535914 cites W1873720520 @default.
- W644535914 cites W2058776028 @default.
- W644535914 cites W2082434633 @default.
- W644535914 cites W2117344189 @default.
- W644535914 cites W2120856638 @default.
- W644535914 cites W4244728546 @default.
- W644535914 doi "https://doi.org/10.1007/978-3-319-07602-7_22" @default.
- W644535914 hasPublicationYear "2014" @default.
- W644535914 type Work @default.
- W644535914 sameAs 644535914 @default.
- W644535914 citedByCount "0" @default.
- W644535914 crossrefType "book-chapter" @default.
- W644535914 hasAuthorship W644535914A5086177988 @default.
- W644535914 hasConcept C115903868 @default.
- W644535914 hasConcept C116253237 @default.
- W644535914 hasConcept C142362112 @default.
- W644535914 hasConcept C14331664 @default.
- W644535914 hasConcept C145243422 @default.
- W644535914 hasConcept C153349607 @default.
- W644535914 hasConcept C167822520 @default.
- W644535914 hasConcept C184337299 @default.
- W644535914 hasConcept C186846655 @default.
- W644535914 hasConcept C199360897 @default.
- W644535914 hasConcept C201677973 @default.
- W644535914 hasConcept C2777904410 @default.
- W644535914 hasConcept C41008148 @default.
- W644535914 hasConcept C529173508 @default.
- W644535914 hasConcept C558565934 @default.
- W644535914 hasConcept C57371142 @default.
- W644535914 hasConcept C73301696 @default.
- W644535914 hasConcept C75606506 @default.
- W644535914 hasConcept C80444323 @default.
- W644535914 hasConcept C84651959 @default.
- W644535914 hasConcept C90069079 @default.
- W644535914 hasConceptScore W644535914C115903868 @default.
- W644535914 hasConceptScore W644535914C116253237 @default.
- W644535914 hasConceptScore W644535914C142362112 @default.
- W644535914 hasConceptScore W644535914C14331664 @default.
- W644535914 hasConceptScore W644535914C145243422 @default.
- W644535914 hasConceptScore W644535914C153349607 @default.
- W644535914 hasConceptScore W644535914C167822520 @default.
- W644535914 hasConceptScore W644535914C184337299 @default.
- W644535914 hasConceptScore W644535914C186846655 @default.
- W644535914 hasConceptScore W644535914C199360897 @default.
- W644535914 hasConceptScore W644535914C201677973 @default.
- W644535914 hasConceptScore W644535914C2777904410 @default.
- W644535914 hasConceptScore W644535914C41008148 @default.
- W644535914 hasConceptScore W644535914C529173508 @default.
- W644535914 hasConceptScore W644535914C558565934 @default.
- W644535914 hasConceptScore W644535914C57371142 @default.
- W644535914 hasConceptScore W644535914C73301696 @default.
- W644535914 hasConceptScore W644535914C75606506 @default.
- W644535914 hasConceptScore W644535914C80444323 @default.
- W644535914 hasConceptScore W644535914C84651959 @default.
- W644535914 hasConceptScore W644535914C90069079 @default.
- W644535914 hasLocation W6445359141 @default.
- W644535914 hasOpenAccess W644535914 @default.
- W644535914 hasPrimaryLocation W6445359141 @default.
- W644535914 hasRelatedWork W1471077861 @default.
- W644535914 hasRelatedWork W1568529421 @default.
- W644535914 hasRelatedWork W1964436108 @default.
- W644535914 hasRelatedWork W2156223462 @default.
- W644535914 hasRelatedWork W2170015205 @default.
- W644535914 hasRelatedWork W2378785653 @default.
- W644535914 hasRelatedWork W2799231486 @default.
- W644535914 hasRelatedWork W2898425611 @default.
- W644535914 hasRelatedWork W644535914 @default.
- W644535914 hasRelatedWork W794225219 @default.
- W644535914 isParatext "false" @default.
- W644535914 isRetracted "false" @default.
- W644535914 magId "644535914" @default.
- W644535914 workType "book-chapter" @default.