Matches in SemOpenAlex for { <https://semopenalex.org/work/W2132877703> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2132877703 abstract "We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm relies on an established synergy between three salient approaches, which are model-checking, program analysis, and software engineering techniques. To illustrate the accomplishment of our results, we have designed and implemented an integrated and automated computer-aided assessment tool. We provide three case studies for sequence, state machine, and class and package diagrams to demonstrate the benefits of our methodology" @default.
- W2132877703 created "2016-06-24" @default.
- W2132877703 creator A5016811177 @default.
- W2132877703 creator A5020688490 @default.
- W2132877703 creator A5028605138 @default.
- W2132877703 creator A5037216887 @default.
- W2132877703 creator A5075237029 @default.
- W2132877703 date "2006-01-01" @default.
- W2132877703 modified "2023-09-27" @default.
- W2132877703 title "A unified approach for verification and validation of systems and software engineering models" @default.
- W2132877703 cites W1971424459 @default.
- W2132877703 cites W1977237988 @default.
- W2132877703 cites W2129466958 @default.
- W2132877703 cites W2168914087 @default.
- W2132877703 doi "https://doi.org/10.1109/ecbs.2006.17" @default.
- W2132877703 hasPublicationYear "2006" @default.
- W2132877703 type Work @default.
- W2132877703 sameAs 2132877703 @default.
- W2132877703 citedByCount "32" @default.
- W2132877703 countsByYear W21328777032012 @default.
- W2132877703 countsByYear W21328777032013 @default.
- W2132877703 countsByYear W21328777032014 @default.
- W2132877703 countsByYear W21328777032015 @default.
- W2132877703 countsByYear W21328777032016 @default.
- W2132877703 countsByYear W21328777032017 @default.
- W2132877703 countsByYear W21328777032019 @default.
- W2132877703 countsByYear W21328777032021 @default.
- W2132877703 countsByYear W21328777032022 @default.
- W2132877703 crossrefType "proceedings-article" @default.
- W2132877703 hasAuthorship W2132877703A5016811177 @default.
- W2132877703 hasAuthorship W2132877703A5020688490 @default.
- W2132877703 hasAuthorship W2132877703A5028605138 @default.
- W2132877703 hasAuthorship W2132877703A5037216887 @default.
- W2132877703 hasAuthorship W2132877703A5075237029 @default.
- W2132877703 hasConcept C115903868 @default.
- W2132877703 hasConcept C127413603 @default.
- W2132877703 hasConcept C145644426 @default.
- W2132877703 hasConcept C146939238 @default.
- W2132877703 hasConcept C149091818 @default.
- W2132877703 hasConcept C153185123 @default.
- W2132877703 hasConcept C186846655 @default.
- W2132877703 hasConcept C199360897 @default.
- W2132877703 hasConcept C201995342 @default.
- W2132877703 hasConcept C202446494 @default.
- W2132877703 hasConcept C21285288 @default.
- W2132877703 hasConcept C21547014 @default.
- W2132877703 hasConcept C2777904410 @default.
- W2132877703 hasConcept C33054407 @default.
- W2132877703 hasConcept C41008148 @default.
- W2132877703 hasConcept C48002344 @default.
- W2132877703 hasConcept C64219723 @default.
- W2132877703 hasConceptScore W2132877703C115903868 @default.
- W2132877703 hasConceptScore W2132877703C127413603 @default.
- W2132877703 hasConceptScore W2132877703C145644426 @default.
- W2132877703 hasConceptScore W2132877703C146939238 @default.
- W2132877703 hasConceptScore W2132877703C149091818 @default.
- W2132877703 hasConceptScore W2132877703C153185123 @default.
- W2132877703 hasConceptScore W2132877703C186846655 @default.
- W2132877703 hasConceptScore W2132877703C199360897 @default.
- W2132877703 hasConceptScore W2132877703C201995342 @default.
- W2132877703 hasConceptScore W2132877703C202446494 @default.
- W2132877703 hasConceptScore W2132877703C21285288 @default.
- W2132877703 hasConceptScore W2132877703C21547014 @default.
- W2132877703 hasConceptScore W2132877703C2777904410 @default.
- W2132877703 hasConceptScore W2132877703C33054407 @default.
- W2132877703 hasConceptScore W2132877703C41008148 @default.
- W2132877703 hasConceptScore W2132877703C48002344 @default.
- W2132877703 hasConceptScore W2132877703C64219723 @default.
- W2132877703 hasLocation W21328777031 @default.
- W2132877703 hasOpenAccess W2132877703 @default.
- W2132877703 hasPrimaryLocation W21328777031 @default.
- W2132877703 hasRelatedWork W1496040829 @default.
- W2132877703 hasRelatedWork W2112630554 @default.
- W2132877703 hasRelatedWork W2130112415 @default.
- W2132877703 hasRelatedWork W2169013090 @default.
- W2132877703 hasRelatedWork W2267248609 @default.
- W2132877703 hasRelatedWork W2364238001 @default.
- W2132877703 hasRelatedWork W2372699303 @default.
- W2132877703 hasRelatedWork W2389055796 @default.
- W2132877703 hasRelatedWork W2391803179 @default.
- W2132877703 hasRelatedWork W2120868292 @default.
- W2132877703 isParatext "false" @default.
- W2132877703 isRetracted "false" @default.
- W2132877703 magId "2132877703" @default.
- W2132877703 workType "article" @default.