Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948181354> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2948181354 endingPage "127" @default.
- W2948181354 startingPage "113" @default.
- W2948181354 abstract "We propose a framework for requirement-driven test generation that combines contract-based interface theories with model-based testing. We design a specification language, requirement interfaces, for formalizing different views (aspects) of synchronous data-flow systems from informal requirements. Multiple views of a system, modeled as requirement interfaces, are naturally combined by conjunction." @default.
- W2948181354 created "2019-06-14" @default.
- W2948181354 creator A5001485095 @default.
- W2948181354 creator A5009450062 @default.
- W2948181354 creator A5052399473 @default.
- W2948181354 creator A5054433534 @default.
- W2948181354 creator A5072977723 @default.
- W2948181354 date "2015-01-01" @default.
- W2948181354 modified "2023-09-27" @default.
- W2948181354 title "Require, Test and Trace IT" @default.
- W2948181354 cites W119383752 @default.
- W2948181354 cites W1523025616 @default.
- W2948181354 cites W153060849 @default.
- W2948181354 cites W1535987901 @default.
- W2948181354 cites W1588015963 @default.
- W2948181354 cites W18021637 @default.
- W2948181354 cites W1817199704 @default.
- W2948181354 cites W1896301006 @default.
- W2948181354 cites W1974673257 @default.
- W2948181354 cites W1995969393 @default.
- W2948181354 cites W2033978538 @default.
- W2948181354 cites W2120916408 @default.
- W2948181354 cites W2145505903 @default.
- W2948181354 cites W2150690459 @default.
- W2948181354 cites W2773674325 @default.
- W2948181354 cites W56086133 @default.
- W2948181354 doi "https://doi.org/10.1007/978-3-319-19458-5_8" @default.
- W2948181354 hasPublicationYear "2015" @default.
- W2948181354 type Work @default.
- W2948181354 sameAs 2948181354 @default.
- W2948181354 citedByCount "7" @default.
- W2948181354 countsByYear W29481813542015 @default.
- W2948181354 countsByYear W29481813542016 @default.
- W2948181354 countsByYear W29481813542019 @default.
- W2948181354 countsByYear W29481813542020 @default.
- W2948181354 crossrefType "book-chapter" @default.
- W2948181354 hasAuthorship W2948181354A5001485095 @default.
- W2948181354 hasAuthorship W2948181354A5009450062 @default.
- W2948181354 hasAuthorship W2948181354A5052399473 @default.
- W2948181354 hasAuthorship W2948181354A5054433534 @default.
- W2948181354 hasAuthorship W2948181354A5072977723 @default.
- W2948181354 hasConcept C127313418 @default.
- W2948181354 hasConcept C138885662 @default.
- W2948181354 hasConcept C151730666 @default.
- W2948181354 hasConcept C2777267654 @default.
- W2948181354 hasConcept C41008148 @default.
- W2948181354 hasConcept C41895202 @default.
- W2948181354 hasConcept C75291252 @default.
- W2948181354 hasConceptScore W2948181354C127313418 @default.
- W2948181354 hasConceptScore W2948181354C138885662 @default.
- W2948181354 hasConceptScore W2948181354C151730666 @default.
- W2948181354 hasConceptScore W2948181354C2777267654 @default.
- W2948181354 hasConceptScore W2948181354C41008148 @default.
- W2948181354 hasConceptScore W2948181354C41895202 @default.
- W2948181354 hasConceptScore W2948181354C75291252 @default.
- W2948181354 hasLocation W29481813541 @default.
- W2948181354 hasOpenAccess W2948181354 @default.
- W2948181354 hasPrimaryLocation W29481813541 @default.
- W2948181354 hasRelatedWork W1483845062 @default.
- W2948181354 hasRelatedWork W1575330229 @default.
- W2948181354 hasRelatedWork W1584304702 @default.
- W2948181354 hasRelatedWork W2057402848 @default.
- W2948181354 hasRelatedWork W2383986235 @default.
- W2948181354 hasRelatedWork W2390095984 @default.
- W2948181354 hasRelatedWork W3007092120 @default.
- W2948181354 hasRelatedWork W3007745445 @default.
- W2948181354 hasRelatedWork W2464849962 @default.
- W2948181354 hasRelatedWork W2477564355 @default.
- W2948181354 isParatext "false" @default.
- W2948181354 isRetracted "false" @default.
- W2948181354 magId "2948181354" @default.
- W2948181354 workType "book-chapter" @default.