Matches in SemOpenAlex for { <https://semopenalex.org/work/W2377732017> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2377732017 abstract "Increasing complexity of real time system, and demands for enabling their configurability and reusability are strong motivations for aspect-oriented and component-based development, and dependability of real time systems requires that formal development methods are taken during real-time development cycle. This paper attempts to estab- lish an aspect-oriented formal development method for real-time systems with the component-based and aspect-orient- ed extension of RT-Z, its model of real time component can be used for CBSD and ASD. The framework,syntax, weaving aspects,and interface of function and non-function are defined in this article, the healtthess conditions of AO-RT-Z is emphasized and a proof is made." @default.
- W2377732017 created "2016-06-24" @default.
- W2377732017 creator A5087796387 @default.
- W2377732017 date "2005-01-01" @default.
- W2377732017 modified "2023-09-24" @default.
- W2377732017 title "Aspect-Oriented Formal Development Method for Real-Time Systems" @default.
- W2377732017 hasPublicationYear "2005" @default.
- W2377732017 type Work @default.
- W2377732017 sameAs 2377732017 @default.
- W2377732017 citedByCount "0" @default.
- W2377732017 crossrefType "journal-article" @default.
- W2377732017 hasAuthorship W2377732017A5087796387 @default.
- W2377732017 hasConcept C110251889 @default.
- W2377732017 hasConcept C115903868 @default.
- W2377732017 hasConcept C120314980 @default.
- W2377732017 hasConcept C121332964 @default.
- W2377732017 hasConcept C134306372 @default.
- W2377732017 hasConcept C137981799 @default.
- W2377732017 hasConcept C14036430 @default.
- W2377732017 hasConcept C149635348 @default.
- W2377732017 hasConcept C168167062 @default.
- W2377732017 hasConcept C199360897 @default.
- W2377732017 hasConcept C2776542497 @default.
- W2377732017 hasConcept C2777904410 @default.
- W2377732017 hasConcept C28472234 @default.
- W2377732017 hasConcept C33923547 @default.
- W2377732017 hasConcept C41008148 @default.
- W2377732017 hasConcept C54525549 @default.
- W2377732017 hasConcept C60051680 @default.
- W2377732017 hasConcept C75606506 @default.
- W2377732017 hasConcept C76214141 @default.
- W2377732017 hasConcept C77019957 @default.
- W2377732017 hasConcept C78458016 @default.
- W2377732017 hasConcept C86803240 @default.
- W2377732017 hasConcept C90856448 @default.
- W2377732017 hasConcept C97355855 @default.
- W2377732017 hasConceptScore W2377732017C110251889 @default.
- W2377732017 hasConceptScore W2377732017C115903868 @default.
- W2377732017 hasConceptScore W2377732017C120314980 @default.
- W2377732017 hasConceptScore W2377732017C121332964 @default.
- W2377732017 hasConceptScore W2377732017C134306372 @default.
- W2377732017 hasConceptScore W2377732017C137981799 @default.
- W2377732017 hasConceptScore W2377732017C14036430 @default.
- W2377732017 hasConceptScore W2377732017C149635348 @default.
- W2377732017 hasConceptScore W2377732017C168167062 @default.
- W2377732017 hasConceptScore W2377732017C199360897 @default.
- W2377732017 hasConceptScore W2377732017C2776542497 @default.
- W2377732017 hasConceptScore W2377732017C2777904410 @default.
- W2377732017 hasConceptScore W2377732017C28472234 @default.
- W2377732017 hasConceptScore W2377732017C33923547 @default.
- W2377732017 hasConceptScore W2377732017C41008148 @default.
- W2377732017 hasConceptScore W2377732017C54525549 @default.
- W2377732017 hasConceptScore W2377732017C60051680 @default.
- W2377732017 hasConceptScore W2377732017C75606506 @default.
- W2377732017 hasConceptScore W2377732017C76214141 @default.
- W2377732017 hasConceptScore W2377732017C77019957 @default.
- W2377732017 hasConceptScore W2377732017C78458016 @default.
- W2377732017 hasConceptScore W2377732017C86803240 @default.
- W2377732017 hasConceptScore W2377732017C90856448 @default.
- W2377732017 hasConceptScore W2377732017C97355855 @default.
- W2377732017 hasLocation W23777320171 @default.
- W2377732017 hasOpenAccess W2377732017 @default.
- W2377732017 hasPrimaryLocation W23777320171 @default.
- W2377732017 hasRelatedWork W1484949458 @default.
- W2377732017 hasRelatedWork W1576104096 @default.
- W2377732017 hasRelatedWork W1964376691 @default.
- W2377732017 hasRelatedWork W1968483059 @default.
- W2377732017 hasRelatedWork W1990348256 @default.
- W2377732017 hasRelatedWork W2016656281 @default.
- W2377732017 hasRelatedWork W2063318133 @default.
- W2377732017 hasRelatedWork W2073912762 @default.
- W2377732017 hasRelatedWork W2076891323 @default.
- W2377732017 hasRelatedWork W2079349298 @default.
- W2377732017 hasRelatedWork W2096662482 @default.
- W2377732017 hasRelatedWork W2123102291 @default.
- W2377732017 hasRelatedWork W2140402683 @default.
- W2377732017 hasRelatedWork W2150664793 @default.
- W2377732017 hasRelatedWork W2170831076 @default.
- W2377732017 hasRelatedWork W2355569861 @default.
- W2377732017 hasRelatedWork W2542202101 @default.
- W2377732017 hasRelatedWork W56325626 @default.
- W2377732017 hasRelatedWork W72160237 @default.
- W2377732017 hasRelatedWork W2161886041 @default.
- W2377732017 isParatext "false" @default.
- W2377732017 isRetracted "false" @default.
- W2377732017 magId "2377732017" @default.
- W2377732017 workType "article" @default.