Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566670290> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1566670290 abstract "In the development of embedded software, modeling languages used within or across development phases e.g., requirements, specification, design, etc are based on different paradigms and an approach for relating these is needed. In this paper, we present a formal framework for relating specification and design models of embedded systems. We have chosen UML statemachines as specification models and ProCom component language for design models. While the specification is event-driven, the design is based on time triggering and data flow. To relate these abstractions, through the execution trajectories of corresponding models, formal semantics for both kinds of models and a set of inference rules are defined. The approach is applied on an autonomous truck case-study." @default.
- W1566670290 created "2016-06-24" @default.
- W1566670290 creator A5004303721 @default.
- W1566670290 creator A5025773724 @default.
- W1566670290 creator A5077956898 @default.
- W1566670290 creator A5079870005 @default.
- W1566670290 date "2010-01-01" @default.
- W1566670290 modified "2023-09-24" @default.
- W1566670290 title "Bridging the Semantic Gap between Abstract Models of Embedded Systems" @default.
- W1566670290 cites W1826754619 @default.
- W1566670290 cites W1973169981 @default.
- W1566670290 cites W1999400340 @default.
- W1566670290 cites W2000254486 @default.
- W1566670290 cites W2078887420 @default.
- W1566670290 cites W2101508170 @default.
- W1566670290 cites W2110508285 @default.
- W1566670290 cites W2124612694 @default.
- W1566670290 cites W2136156878 @default.
- W1566670290 cites W2137948900 @default.
- W1566670290 cites W2171667486 @default.
- W1566670290 doi "https://doi.org/10.1007/978-3-642-13238-4_4" @default.
- W1566670290 hasPublicationYear "2010" @default.
- W1566670290 type Work @default.
- W1566670290 sameAs 1566670290 @default.
- W1566670290 citedByCount "7" @default.
- W1566670290 countsByYear W15666702902012 @default.
- W1566670290 countsByYear W15666702902013 @default.
- W1566670290 countsByYear W15666702902014 @default.
- W1566670290 crossrefType "book-chapter" @default.
- W1566670290 hasAuthorship W1566670290A5004303721 @default.
- W1566670290 hasAuthorship W1566670290A5025773724 @default.
- W1566670290 hasAuthorship W1566670290A5077956898 @default.
- W1566670290 hasAuthorship W1566670290A5079870005 @default.
- W1566670290 hasConcept C111498074 @default.
- W1566670290 hasConcept C115903868 @default.
- W1566670290 hasConcept C116253237 @default.
- W1566670290 hasConcept C121332964 @default.
- W1566670290 hasConcept C145644426 @default.
- W1566670290 hasConcept C146499914 @default.
- W1566670290 hasConcept C168167062 @default.
- W1566670290 hasConcept C174348530 @default.
- W1566670290 hasConcept C184337299 @default.
- W1566670290 hasConcept C199360897 @default.
- W1566670290 hasConcept C201677973 @default.
- W1566670290 hasConcept C2777904410 @default.
- W1566670290 hasConcept C31258907 @default.
- W1566670290 hasConcept C41008148 @default.
- W1566670290 hasConcept C75606506 @default.
- W1566670290 hasConcept C90069079 @default.
- W1566670290 hasConcept C97355855 @default.
- W1566670290 hasConceptScore W1566670290C111498074 @default.
- W1566670290 hasConceptScore W1566670290C115903868 @default.
- W1566670290 hasConceptScore W1566670290C116253237 @default.
- W1566670290 hasConceptScore W1566670290C121332964 @default.
- W1566670290 hasConceptScore W1566670290C145644426 @default.
- W1566670290 hasConceptScore W1566670290C146499914 @default.
- W1566670290 hasConceptScore W1566670290C168167062 @default.
- W1566670290 hasConceptScore W1566670290C174348530 @default.
- W1566670290 hasConceptScore W1566670290C184337299 @default.
- W1566670290 hasConceptScore W1566670290C199360897 @default.
- W1566670290 hasConceptScore W1566670290C201677973 @default.
- W1566670290 hasConceptScore W1566670290C2777904410 @default.
- W1566670290 hasConceptScore W1566670290C31258907 @default.
- W1566670290 hasConceptScore W1566670290C41008148 @default.
- W1566670290 hasConceptScore W1566670290C75606506 @default.
- W1566670290 hasConceptScore W1566670290C90069079 @default.
- W1566670290 hasConceptScore W1566670290C97355855 @default.
- W1566670290 hasLocation W15666702901 @default.
- W1566670290 hasOpenAccess W1566670290 @default.
- W1566670290 hasPrimaryLocation W15666702901 @default.
- W1566670290 hasRelatedWork W1491350228 @default.
- W1566670290 hasRelatedWork W1607877929 @default.
- W1566670290 hasRelatedWork W1697789077 @default.
- W1566670290 hasRelatedWork W1902285533 @default.
- W1566670290 hasRelatedWork W1989293906 @default.
- W1566670290 hasRelatedWork W2008379880 @default.
- W1566670290 hasRelatedWork W2009579242 @default.
- W1566670290 hasRelatedWork W2010879541 @default.
- W1566670290 hasRelatedWork W2103763315 @default.
- W1566670290 hasRelatedWork W2119236285 @default.
- W1566670290 hasRelatedWork W2121362566 @default.
- W1566670290 hasRelatedWork W2128487608 @default.
- W1566670290 hasRelatedWork W2139006359 @default.
- W1566670290 hasRelatedWork W2159958244 @default.
- W1566670290 hasRelatedWork W2533943153 @default.
- W1566670290 hasRelatedWork W2542202101 @default.
- W1566670290 hasRelatedWork W2612598920 @default.
- W1566670290 hasRelatedWork W644535914 @default.
- W1566670290 hasRelatedWork W2011921949 @default.
- W1566670290 hasRelatedWork W2101075963 @default.
- W1566670290 isParatext "false" @default.
- W1566670290 isRetracted "false" @default.
- W1566670290 magId "1566670290" @default.
- W1566670290 workType "book-chapter" @default.