Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015877948> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2015877948 abstract "Quality is one of the main concerns in today's systems and software development and use. One important instrument in verification is the use of formal methods, which means that requirements and designs are analyzed formally to determine their relationships. Furthermore, since professional software design is to an increasing extent a distributed process, the issue of integrating different systems to an entity is of great importance in modern system development and design. Various candidates for formalizing system development and integration have prevailed, but very often, particularly for dynamic conflict detection, these introduce non-standard objects and formalisms, leading to severe confusion, both regarding the semantics and the computability. In contrast to such, we introduce a framework for defining requirement fulfillment by designs, detecting conflicts of various kinds as well as integration of heterogeneous schemata. The framework introduced transcends ordinary logical consequence, as it takes into account static and dynamic aspects of design consistency and, in particular, the specific features of the state space of a specification. Another feature of the approach is that it provides a unifying framework for design conflict analysis and schema integration." @default.
- W2015877948 created "2016-06-24" @default.
- W2015877948 creator A5009750520 @default.
- W2015877948 creator A5028109093 @default.
- W2015877948 date "2004-12-01" @default.
- W2015877948 modified "2023-09-23" @default.
- W2015877948 title "A framework for determining design correctness" @default.
- W2015877948 cites W123476144 @default.
- W2015877948 cites W1517827699 @default.
- W2015877948 cites W1542369348 @default.
- W2015877948 cites W1555568689 @default.
- W2015877948 cites W1569203277 @default.
- W2015877948 cites W1574057703 @default.
- W2015877948 cites W1574850141 @default.
- W2015877948 cites W1582960532 @default.
- W2015877948 cites W1601957077 @default.
- W2015877948 cites W1626513099 @default.
- W2015877948 cites W1873039666 @default.
- W2015877948 cites W1972367605 @default.
- W2015877948 cites W1995737348 @default.
- W2015877948 cites W2001448394 @default.
- W2015877948 cites W2012170877 @default.
- W2015877948 cites W2025151754 @default.
- W2015877948 cites W2025624633 @default.
- W2015877948 cites W202748147 @default.
- W2015877948 cites W2028006033 @default.
- W2015877948 cites W2042387059 @default.
- W2015877948 cites W2059647742 @default.
- W2015877948 cites W2060805613 @default.
- W2015877948 cites W2072458864 @default.
- W2015877948 cites W2086548804 @default.
- W2015877948 cites W2103739844 @default.
- W2015877948 cites W2118968163 @default.
- W2015877948 cites W2120137828 @default.
- W2015877948 cites W2125500714 @default.
- W2015877948 cites W2144192824 @default.
- W2015877948 cites W2152400670 @default.
- W2015877948 cites W2157256407 @default.
- W2015877948 cites W2163494375 @default.
- W2015877948 cites W289084211 @default.
- W2015877948 cites W2914011863 @default.
- W2015877948 cites W51855018 @default.
- W2015877948 cites W615903288 @default.
- W2015877948 cites W1584114856 @default.
- W2015877948 cites W1606351783 @default.
- W2015877948 cites W3191901403 @default.
- W2015877948 doi "https://doi.org/10.1016/j.knosys.2004.07.003" @default.
- W2015877948 hasPublicationYear "2004" @default.
- W2015877948 type Work @default.
- W2015877948 sameAs 2015877948 @default.
- W2015877948 citedByCount "6" @default.
- W2015877948 countsByYear W20158779482014 @default.
- W2015877948 crossrefType "journal-article" @default.
- W2015877948 hasAuthorship W2015877948A5009750520 @default.
- W2015877948 hasAuthorship W2015877948A5028109093 @default.
- W2015877948 hasConcept C115903868 @default.
- W2015877948 hasConcept C171018156 @default.
- W2015877948 hasConcept C199360897 @default.
- W2015877948 hasConcept C2524010 @default.
- W2015877948 hasConcept C2777904410 @default.
- W2015877948 hasConcept C33923547 @default.
- W2015877948 hasConcept C41008148 @default.
- W2015877948 hasConcept C529173508 @default.
- W2015877948 hasConcept C55439883 @default.
- W2015877948 hasConcept C75606506 @default.
- W2015877948 hasConceptScore W2015877948C115903868 @default.
- W2015877948 hasConceptScore W2015877948C171018156 @default.
- W2015877948 hasConceptScore W2015877948C199360897 @default.
- W2015877948 hasConceptScore W2015877948C2524010 @default.
- W2015877948 hasConceptScore W2015877948C2777904410 @default.
- W2015877948 hasConceptScore W2015877948C33923547 @default.
- W2015877948 hasConceptScore W2015877948C41008148 @default.
- W2015877948 hasConceptScore W2015877948C529173508 @default.
- W2015877948 hasConceptScore W2015877948C55439883 @default.
- W2015877948 hasConceptScore W2015877948C75606506 @default.
- W2015877948 hasLocation W20158779481 @default.
- W2015877948 hasOpenAccess W2015877948 @default.
- W2015877948 hasPrimaryLocation W20158779481 @default.
- W2015877948 hasRelatedWork W1485135523 @default.
- W2015877948 hasRelatedWork W1533734185 @default.
- W2015877948 hasRelatedWork W1543150587 @default.
- W2015877948 hasRelatedWork W1595972517 @default.
- W2015877948 hasRelatedWork W2024218563 @default.
- W2015877948 hasRelatedWork W2072806201 @default.
- W2015877948 hasRelatedWork W2556676986 @default.
- W2015877948 hasRelatedWork W2609126706 @default.
- W2015877948 hasRelatedWork W2736227424 @default.
- W2015877948 hasRelatedWork W788634968 @default.
- W2015877948 isParatext "false" @default.
- W2015877948 isRetracted "false" @default.
- W2015877948 magId "2015877948" @default.
- W2015877948 workType "article" @default.