Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895720023> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2895720023 abstract "The problem of integrating an existing formal verification tool in a given software specification tool arises repeatedly both in industry and academia. At present this task is executed in an ad-hoc manner and is time consuming. Moreover, interpreting the results of the verification to locate and fix the bug (by the human user) is implicitly complicated, hence, time consuming. In this work we draft a solution for reducing the complexity of these tasks and aim at reducing the time required to complete them. We sketch a framework formalizing the concepts required to execute these tasks in a modular fashion and implement a solution based on domain specific languages (DSLs) and parameterizable model transformations. We expect that the modularity of our framework will raise its potential to be reused. We plan on evaluating this work on a set of modeling environments and a set of verification tools." @default.
- W2895720023 created "2018-10-12" @default.
- W2895720023 creator A5084350487 @default.
- W2895720023 date "2018-10-14" @default.
- W2895720023 modified "2023-09-26" @default.
- W2895720023 title "A modular approach to integrate verification tools in model based development" @default.
- W2895720023 cites W1821427360 @default.
- W2895720023 cites W1970488655 @default.
- W2895720023 cites W1984936841 @default.
- W2895720023 cites W2078393527 @default.
- W2895720023 cites W2078534088 @default.
- W2895720023 cites W2092218351 @default.
- W2895720023 cites W2116729362 @default.
- W2895720023 cites W2120095349 @default.
- W2895720023 cites W2156444395 @default.
- W2895720023 cites W2164938362 @default.
- W2895720023 cites W2343875716 @default.
- W2895720023 cites W2604190760 @default.
- W2895720023 cites W2769194423 @default.
- W2895720023 cites W2784876765 @default.
- W2895720023 cites W3005462739 @default.
- W2895720023 doi "https://doi.org/10.1145/3270112.3275334" @default.
- W2895720023 hasPublicationYear "2018" @default.
- W2895720023 type Work @default.
- W2895720023 sameAs 2895720023 @default.
- W2895720023 citedByCount "1" @default.
- W2895720023 countsByYear W28957200232020 @default.
- W2895720023 crossrefType "proceedings-article" @default.
- W2895720023 hasAuthorship W2895720023A5084350487 @default.
- W2895720023 hasConcept C101468663 @default.
- W2895720023 hasConcept C115903868 @default.
- W2895720023 hasConcept C118524514 @default.
- W2895720023 hasConcept C127413603 @default.
- W2895720023 hasConcept C134306372 @default.
- W2895720023 hasConcept C145644426 @default.
- W2895720023 hasConcept C199360897 @default.
- W2895720023 hasConcept C201995342 @default.
- W2895720023 hasConcept C2776542497 @default.
- W2895720023 hasConcept C2777904410 @default.
- W2895720023 hasConcept C2985178602 @default.
- W2895720023 hasConcept C33923547 @default.
- W2895720023 hasConcept C41008148 @default.
- W2895720023 hasConceptScore W2895720023C101468663 @default.
- W2895720023 hasConceptScore W2895720023C115903868 @default.
- W2895720023 hasConceptScore W2895720023C118524514 @default.
- W2895720023 hasConceptScore W2895720023C127413603 @default.
- W2895720023 hasConceptScore W2895720023C134306372 @default.
- W2895720023 hasConceptScore W2895720023C145644426 @default.
- W2895720023 hasConceptScore W2895720023C199360897 @default.
- W2895720023 hasConceptScore W2895720023C201995342 @default.
- W2895720023 hasConceptScore W2895720023C2776542497 @default.
- W2895720023 hasConceptScore W2895720023C2777904410 @default.
- W2895720023 hasConceptScore W2895720023C2985178602 @default.
- W2895720023 hasConceptScore W2895720023C33923547 @default.
- W2895720023 hasConceptScore W2895720023C41008148 @default.
- W2895720023 hasLocation W28957200231 @default.
- W2895720023 hasOpenAccess W2895720023 @default.
- W2895720023 hasPrimaryLocation W28957200231 @default.
- W2895720023 hasRelatedWork W1500465483 @default.
- W2895720023 hasRelatedWork W1545379480 @default.
- W2895720023 hasRelatedWork W2043578545 @default.
- W2895720023 hasRelatedWork W2120119341 @default.
- W2895720023 hasRelatedWork W2353424795 @default.
- W2895720023 hasRelatedWork W2466033677 @default.
- W2895720023 hasRelatedWork W2575332577 @default.
- W2895720023 hasRelatedWork W2613818064 @default.
- W2895720023 hasRelatedWork W2890892119 @default.
- W2895720023 hasRelatedWork W4225681679 @default.
- W2895720023 isParatext "false" @default.
- W2895720023 isRetracted "false" @default.
- W2895720023 magId "2895720023" @default.
- W2895720023 workType "article" @default.