Matches in SemOpenAlex for { <https://semopenalex.org/work/W2600962724> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2600962724 abstract "Early verification is essential in model-driven development because late error detection involves a costly correction and approval process. Modelling real life systems covers three aspects of a system (structure, dynamics and functions) and one verification technique is not sufficient to check the properties related to these aspects. Considering Service-based Component Models, we propose a unifying schema called multi-level contracts that enables a combination of verification techniques (model checking, theorem proving and model testing) to cover the V&V requirements. This proposal is illustrated using the Kmelia language and its COSTO tool." @default.
- W2600962724 created "2017-04-07" @default.
- W2600962724 creator A5060288597 @default.
- W2600962724 creator A5078971495 @default.
- W2600962724 creator A5091558153 @default.
- W2600962724 date "2017-01-01" @default.
- W2600962724 modified "2023-10-12" @default.
- W2600962724 title "Combining Techniques to Verify Service-based Components" @default.
- W2600962724 cites W113014227 @default.
- W2600962724 cites W1512320217 @default.
- W2600962724 cites W1557306624 @default.
- W2600962724 cites W1565279216 @default.
- W2600962724 cites W1582848254 @default.
- W2600962724 cites W1594380366 @default.
- W2600962724 cites W1965554078 @default.
- W2600962724 cites W1985021521 @default.
- W2600962724 cites W2015937909 @default.
- W2600962724 cites W2063400074 @default.
- W2600962724 cites W2095144546 @default.
- W2600962724 cites W2116729362 @default.
- W2600962724 cites W2117458339 @default.
- W2600962724 cites W2144973245 @default.
- W2600962724 cites W2145071982 @default.
- W2600962724 cites W2156144933 @default.
- W2600962724 cites W2167293545 @default.
- W2600962724 cites W2295272804 @default.
- W2600962724 cites W2472899067 @default.
- W2600962724 doi "https://doi.org/10.5220/0006212106450656" @default.
- W2600962724 hasPublicationYear "2017" @default.
- W2600962724 type Work @default.
- W2600962724 sameAs 2600962724 @default.
- W2600962724 citedByCount "2" @default.
- W2600962724 countsByYear W26009627242019 @default.
- W2600962724 countsByYear W26009627242021 @default.
- W2600962724 crossrefType "proceedings-article" @default.
- W2600962724 hasAuthorship W2600962724A5060288597 @default.
- W2600962724 hasAuthorship W2600962724A5078971495 @default.
- W2600962724 hasAuthorship W2600962724A5091558153 @default.
- W2600962724 hasBestOaLocation W26009627241 @default.
- W2600962724 hasConcept C121332964 @default.
- W2600962724 hasConcept C136264566 @default.
- W2600962724 hasConcept C162324750 @default.
- W2600962724 hasConcept C168167062 @default.
- W2600962724 hasConcept C2780378061 @default.
- W2600962724 hasConcept C41008148 @default.
- W2600962724 hasConcept C97355855 @default.
- W2600962724 hasConceptScore W2600962724C121332964 @default.
- W2600962724 hasConceptScore W2600962724C136264566 @default.
- W2600962724 hasConceptScore W2600962724C162324750 @default.
- W2600962724 hasConceptScore W2600962724C168167062 @default.
- W2600962724 hasConceptScore W2600962724C2780378061 @default.
- W2600962724 hasConceptScore W2600962724C41008148 @default.
- W2600962724 hasConceptScore W2600962724C97355855 @default.
- W2600962724 hasLocation W26009627241 @default.
- W2600962724 hasLocation W26009627242 @default.
- W2600962724 hasLocation W26009627243 @default.
- W2600962724 hasLocation W26009627244 @default.
- W2600962724 hasLocation W26009627245 @default.
- W2600962724 hasOpenAccess W2600962724 @default.
- W2600962724 hasPrimaryLocation W26009627241 @default.
- W2600962724 hasRelatedWork W1596801655 @default.
- W2600962724 hasRelatedWork W2130043461 @default.
- W2600962724 hasRelatedWork W2350741829 @default.
- W2600962724 hasRelatedWork W2358668433 @default.
- W2600962724 hasRelatedWork W2376932109 @default.
- W2600962724 hasRelatedWork W2382290278 @default.
- W2600962724 hasRelatedWork W2390279801 @default.
- W2600962724 hasRelatedWork W2748952813 @default.
- W2600962724 hasRelatedWork W2899084033 @default.
- W2600962724 hasRelatedWork W2530322880 @default.
- W2600962724 isParatext "false" @default.
- W2600962724 isRetracted "false" @default.
- W2600962724 magId "2600962724" @default.
- W2600962724 workType "article" @default.