Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038943040> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2038943040 abstract "The Architecture Analysis and Design Language AADL allows one to model complete systems, but also to define specific extensions through property sets and library of models. Yet, it does not define an explicit mechanism to enforce some semantics or consistency checks to ensure property sets are correctly used. In this paper, we present REAL (Requirements and Enforcements Analysis Language) as an integrated solution to this issue. REAL is defined as an AADL annex language. It adds the possibility to express constraints as theorems based on set theory to enforce implicit semantics of property sets or AADL models. We illustrate the use of the language on case studies we developed with industrial partners." @default.
- W2038943040 created "2016-06-24" @default.
- W2038943040 creator A5003255921 @default.
- W2038943040 creator A5036927582 @default.
- W2038943040 date "2010-03-01" @default.
- W2038943040 modified "2023-10-10" @default.
- W2038943040 title "Expressing and Enforcing User-Defined Constraints of AADL Models" @default.
- W2038943040 cites W2059902621 @default.
- W2038943040 cites W2109488193 @default.
- W2038943040 cites W2160293203 @default.
- W2038943040 doi "https://doi.org/10.1109/iceccs.2010.26" @default.
- W2038943040 hasPublicationYear "2010" @default.
- W2038943040 type Work @default.
- W2038943040 sameAs 2038943040 @default.
- W2038943040 citedByCount "30" @default.
- W2038943040 countsByYear W20389430402012 @default.
- W2038943040 countsByYear W20389430402013 @default.
- W2038943040 countsByYear W20389430402014 @default.
- W2038943040 countsByYear W20389430402015 @default.
- W2038943040 countsByYear W20389430402016 @default.
- W2038943040 countsByYear W20389430402017 @default.
- W2038943040 countsByYear W20389430402021 @default.
- W2038943040 crossrefType "proceedings-article" @default.
- W2038943040 hasAuthorship W2038943040A5003255921 @default.
- W2038943040 hasAuthorship W2038943040A5036927582 @default.
- W2038943040 hasConcept C111472728 @default.
- W2038943040 hasConcept C138885662 @default.
- W2038943040 hasConcept C154945302 @default.
- W2038943040 hasConcept C156325763 @default.
- W2038943040 hasConcept C177264268 @default.
- W2038943040 hasConcept C184337299 @default.
- W2038943040 hasConcept C189950617 @default.
- W2038943040 hasConcept C199360897 @default.
- W2038943040 hasConcept C2776436953 @default.
- W2038943040 hasConcept C41008148 @default.
- W2038943040 hasConcept C80444323 @default.
- W2038943040 hasConceptScore W2038943040C111472728 @default.
- W2038943040 hasConceptScore W2038943040C138885662 @default.
- W2038943040 hasConceptScore W2038943040C154945302 @default.
- W2038943040 hasConceptScore W2038943040C156325763 @default.
- W2038943040 hasConceptScore W2038943040C177264268 @default.
- W2038943040 hasConceptScore W2038943040C184337299 @default.
- W2038943040 hasConceptScore W2038943040C189950617 @default.
- W2038943040 hasConceptScore W2038943040C199360897 @default.
- W2038943040 hasConceptScore W2038943040C2776436953 @default.
- W2038943040 hasConceptScore W2038943040C41008148 @default.
- W2038943040 hasConceptScore W2038943040C80444323 @default.
- W2038943040 hasLocation W20389430401 @default.
- W2038943040 hasOpenAccess W2038943040 @default.
- W2038943040 hasPrimaryLocation W20389430401 @default.
- W2038943040 hasRelatedWork W1482532369 @default.
- W2038943040 hasRelatedWork W1502311553 @default.
- W2038943040 hasRelatedWork W1574611462 @default.
- W2038943040 hasRelatedWork W1587224678 @default.
- W2038943040 hasRelatedWork W1597178555 @default.
- W2038943040 hasRelatedWork W1973482879 @default.
- W2038943040 hasRelatedWork W2106305471 @default.
- W2038943040 hasRelatedWork W2915995131 @default.
- W2038943040 hasRelatedWork W3021003119 @default.
- W2038943040 hasRelatedWork W2788308474 @default.
- W2038943040 isParatext "false" @default.
- W2038943040 isRetracted "false" @default.
- W2038943040 magId "2038943040" @default.
- W2038943040 workType "article" @default.