Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103809211> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2103809211 endingPage "23" @default.
- W2103809211 startingPage "16" @default.
- W2103809211 abstract "Architectural Analysis and Design Language) is a textual and graphical language used to design and analyze software architecture of embedded real time systems. Many tools and models provide semantics and precise meaning for AADL architecture behavior. However, they are not supported by a well defined formal semantics. This paper suggets Rewriting Logic via its practical language Maude as an adequate formalism for modeling behavior concepts in an AADL architectural description. Besides, RT-Maude system offers a natural support to execute and prototype real-time object-oriented modules formalizing AADL architecture behavior composed of several communicating threads." @default.
- W2103809211 created "2016-06-24" @default.
- W2103809211 creator A5015015922 @default.
- W2103809211 creator A5015524367 @default.
- W2103809211 date "2010-10-10" @default.
- W2103809211 modified "2023-09-24" @default.
- W2103809211 title "How to Make AADL Specification More Precise" @default.
- W2103809211 cites W1507281497 @default.
- W2103809211 cites W1554303980 @default.
- W2103809211 cites W1561908010 @default.
- W2103809211 cites W1595206261 @default.
- W2103809211 cites W1668251188 @default.
- W2103809211 cites W1976195354 @default.
- W2103809211 cites W1979754763 @default.
- W2103809211 cites W2029227380 @default.
- W2103809211 cites W2070996046 @default.
- W2103809211 cites W2097823082 @default.
- W2103809211 cites W2134287022 @default.
- W2103809211 cites W2155161269 @default.
- W2103809211 cites W2159079542 @default.
- W2103809211 cites W2160317751 @default.
- W2103809211 cites W2407950240 @default.
- W2103809211 doi "https://doi.org/10.5120/1243-1756" @default.
- W2103809211 hasPublicationYear "2010" @default.
- W2103809211 type Work @default.
- W2103809211 sameAs 2103809211 @default.
- W2103809211 citedByCount "2" @default.
- W2103809211 countsByYear W21038092112014 @default.
- W2103809211 countsByYear W21038092112017 @default.
- W2103809211 crossrefType "journal-article" @default.
- W2103809211 hasAuthorship W2103809211A5015015922 @default.
- W2103809211 hasAuthorship W2103809211A5015524367 @default.
- W2103809211 hasBestOaLocation W21038092111 @default.
- W2103809211 hasConcept C115903868 @default.
- W2103809211 hasConcept C199360897 @default.
- W2103809211 hasConcept C41008148 @default.
- W2103809211 hasConceptScore W2103809211C115903868 @default.
- W2103809211 hasConceptScore W2103809211C199360897 @default.
- W2103809211 hasConceptScore W2103809211C41008148 @default.
- W2103809211 hasIssue "10" @default.
- W2103809211 hasLocation W21038092111 @default.
- W2103809211 hasLocation W21038092112 @default.
- W2103809211 hasOpenAccess W2103809211 @default.
- W2103809211 hasPrimaryLocation W21038092111 @default.
- W2103809211 hasRelatedWork W1527862632 @default.
- W2103809211 hasRelatedWork W2109507516 @default.
- W2103809211 hasRelatedWork W2112962394 @default.
- W2103809211 hasRelatedWork W2118300983 @default.
- W2103809211 hasRelatedWork W2135396778 @default.
- W2103809211 hasRelatedWork W2166247150 @default.
- W2103809211 hasRelatedWork W2740990710 @default.
- W2103809211 hasRelatedWork W3137189469 @default.
- W2103809211 hasRelatedWork W4235530921 @default.
- W2103809211 hasRelatedWork W4243252198 @default.
- W2103809211 hasVolume "8" @default.
- W2103809211 isParatext "false" @default.
- W2103809211 isRetracted "false" @default.
- W2103809211 magId "2103809211" @default.
- W2103809211 workType "article" @default.