Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155405544> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2155405544 abstract "In the context of component-based design, we propose ADLV, an architecture description language based on IDL3, which allows the specification of properties that should hold on the system. The joint description of both the structure of the application and the properties it should satisfy allows us to derive the properties that should be formally checked on the control component of the system. We focus here on the ADLV language and tool and on code generation for the CCM platform from ADLV descriptions. Code generation must preserve the semantics of special components that are in charge of interfacing the control and the processing parts of the application." @default.
- W2155405544 created "2016-06-24" @default.
- W2155405544 creator A5001326851 @default.
- W2155405544 creator A5031933868 @default.
- W2155405544 creator A5067273606 @default.
- W2155405544 creator A5086429985 @default.
- W2155405544 date "2008-01-01" @default.
- W2155405544 modified "2023-09-25" @default.
- W2155405544 title "An Architecture Description Language for Verification in Component-Based Software" @default.
- W2155405544 cites W1517091175 @default.
- W2155405544 cites W1565279216 @default.
- W2155405544 cites W1577761978 @default.
- W2155405544 cites W2034717157 @default.
- W2155405544 cites W2081938726 @default.
- W2155405544 cites W2106372925 @default.
- W2155405544 cites W2146082668 @default.
- W2155405544 cites W2162366870 @default.
- W2155405544 cites W2173733693 @default.
- W2155405544 cites W2372225093 @default.
- W2155405544 cites W2798510498 @default.
- W2155405544 doi "https://doi.org/10.1109/compsac.2008.107" @default.
- W2155405544 hasPublicationYear "2008" @default.
- W2155405544 type Work @default.
- W2155405544 sameAs 2155405544 @default.
- W2155405544 citedByCount "3" @default.
- W2155405544 countsByYear W21554055442012 @default.
- W2155405544 countsByYear W21554055442018 @default.
- W2155405544 crossrefType "proceedings-article" @default.
- W2155405544 hasAuthorship W2155405544A5001326851 @default.
- W2155405544 hasAuthorship W2155405544A5031933868 @default.
- W2155405544 hasAuthorship W2155405544A5067273606 @default.
- W2155405544 hasAuthorship W2155405544A5086429985 @default.
- W2155405544 hasConcept C115903868 @default.
- W2155405544 hasConcept C118524514 @default.
- W2155405544 hasConcept C121332964 @default.
- W2155405544 hasConcept C123657996 @default.
- W2155405544 hasConcept C142362112 @default.
- W2155405544 hasConcept C149091818 @default.
- W2155405544 hasConcept C153349607 @default.
- W2155405544 hasConcept C168167062 @default.
- W2155405544 hasConcept C174683762 @default.
- W2155405544 hasConcept C185245429 @default.
- W2155405544 hasConcept C199360897 @default.
- W2155405544 hasConcept C2777904410 @default.
- W2155405544 hasConcept C35869016 @default.
- W2155405544 hasConcept C41008148 @default.
- W2155405544 hasConcept C55356503 @default.
- W2155405544 hasConcept C73219336 @default.
- W2155405544 hasConcept C97355855 @default.
- W2155405544 hasConceptScore W2155405544C115903868 @default.
- W2155405544 hasConceptScore W2155405544C118524514 @default.
- W2155405544 hasConceptScore W2155405544C121332964 @default.
- W2155405544 hasConceptScore W2155405544C123657996 @default.
- W2155405544 hasConceptScore W2155405544C142362112 @default.
- W2155405544 hasConceptScore W2155405544C149091818 @default.
- W2155405544 hasConceptScore W2155405544C153349607 @default.
- W2155405544 hasConceptScore W2155405544C168167062 @default.
- W2155405544 hasConceptScore W2155405544C174683762 @default.
- W2155405544 hasConceptScore W2155405544C185245429 @default.
- W2155405544 hasConceptScore W2155405544C199360897 @default.
- W2155405544 hasConceptScore W2155405544C2777904410 @default.
- W2155405544 hasConceptScore W2155405544C35869016 @default.
- W2155405544 hasConceptScore W2155405544C41008148 @default.
- W2155405544 hasConceptScore W2155405544C55356503 @default.
- W2155405544 hasConceptScore W2155405544C73219336 @default.
- W2155405544 hasConceptScore W2155405544C97355855 @default.
- W2155405544 hasLocation W21554055441 @default.
- W2155405544 hasLocation W21554055442 @default.
- W2155405544 hasLocation W21554055443 @default.
- W2155405544 hasOpenAccess W2155405544 @default.
- W2155405544 hasPrimaryLocation W21554055441 @default.
- W2155405544 hasRelatedWork W1966368996 @default.
- W2155405544 hasRelatedWork W2046546099 @default.
- W2155405544 hasRelatedWork W2155883077 @default.
- W2155405544 hasRelatedWork W217012190 @default.
- W2155405544 hasRelatedWork W2385130828 @default.
- W2155405544 hasRelatedWork W2386639444 @default.
- W2155405544 hasRelatedWork W2391032895 @default.
- W2155405544 hasRelatedWork W2494930754 @default.
- W2155405544 hasRelatedWork W2510690504 @default.
- W2155405544 hasRelatedWork W2544312940 @default.
- W2155405544 isParatext "false" @default.
- W2155405544 isRetracted "false" @default.
- W2155405544 magId "2155405544" @default.
- W2155405544 workType "article" @default.