Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383371856> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4383371856 endingPage "101223" @default.
- W4383371856 startingPage "101223" @default.
- W4383371856 abstract "Inconsistencies between stakeholders’ views pose a severe challenge in the engineering of complex systems. The past decades have seen a vast number of sophisticated inconsistency management techniques being developed. These techniques build on the common idea of “managing consistency instead of removing inconsistency”, as put forward by Finkelstein. While it is clear what and how to do about inconsistencies, it is less clear why inconsistency is particularly useful. After all, it is the correctness of the system that should matter, as correctness is the end-user-facing quality of the product. In this paper, we analyze this question by investigating the relationship between (in)consistency and (in)correctness. We formally prove that, contrary to intuition, consistency does not imply correctness. However, consistency is still a good heuristic for eventual correctness. We elaborate on the consequences of this assertion and provide pointers as to how to make use of it in the next generation of inconsistency management techniques." @default.
- W4383371856 created "2023-07-07" @default.
- W4383371856 creator A5020944907 @default.
- W4383371856 creator A5041475393 @default.
- W4383371856 creator A5049129140 @default.
- W4383371856 date "2023-08-01" @default.
- W4383371856 modified "2023-10-03" @default.
- W4383371856 title "Model consistency as a heuristic for eventual correctness" @default.
- W4383371856 cites W1983711511 @default.
- W4383371856 cites W1994901326 @default.
- W4383371856 cites W2009285751 @default.
- W4383371856 cites W2016914525 @default.
- W4383371856 cites W2045090661 @default.
- W4383371856 cites W2064616893 @default.
- W4383371856 cites W2069427404 @default.
- W4383371856 cites W2097987957 @default.
- W4383371856 cites W2117870171 @default.
- W4383371856 cites W2127685229 @default.
- W4383371856 cites W2133478348 @default.
- W4383371856 cites W2138473398 @default.
- W4383371856 cites W2139872812 @default.
- W4383371856 cites W2153737593 @default.
- W4383371856 cites W2158826063 @default.
- W4383371856 cites W2319550895 @default.
- W4383371856 cites W2547715078 @default.
- W4383371856 cites W2806689536 @default.
- W4383371856 cites W2956106639 @default.
- W4383371856 cites W2987907651 @default.
- W4383371856 cites W3092486808 @default.
- W4383371856 cites W3095793678 @default.
- W4383371856 cites W3101503172 @default.
- W4383371856 cites W4246048130 @default.
- W4383371856 cites W8913454 @default.
- W4383371856 doi "https://doi.org/10.1016/j.cola.2023.101223" @default.
- W4383371856 hasPublicationYear "2023" @default.
- W4383371856 type Work @default.
- W4383371856 citedByCount "0" @default.
- W4383371856 crossrefType "journal-article" @default.
- W4383371856 hasAuthorship W4383371856A5020944907 @default.
- W4383371856 hasAuthorship W4383371856A5041475393 @default.
- W4383371856 hasAuthorship W4383371856A5049129140 @default.
- W4383371856 hasConcept C111919701 @default.
- W4383371856 hasConcept C127705205 @default.
- W4383371856 hasConcept C132010649 @default.
- W4383371856 hasConcept C154945302 @default.
- W4383371856 hasConcept C15744967 @default.
- W4383371856 hasConcept C188147891 @default.
- W4383371856 hasConcept C199360897 @default.
- W4383371856 hasConcept C2776436953 @default.
- W4383371856 hasConcept C40422974 @default.
- W4383371856 hasConcept C41008148 @default.
- W4383371856 hasConcept C55439883 @default.
- W4383371856 hasConcept C80444323 @default.
- W4383371856 hasConceptScore W4383371856C111919701 @default.
- W4383371856 hasConceptScore W4383371856C127705205 @default.
- W4383371856 hasConceptScore W4383371856C132010649 @default.
- W4383371856 hasConceptScore W4383371856C154945302 @default.
- W4383371856 hasConceptScore W4383371856C15744967 @default.
- W4383371856 hasConceptScore W4383371856C188147891 @default.
- W4383371856 hasConceptScore W4383371856C199360897 @default.
- W4383371856 hasConceptScore W4383371856C2776436953 @default.
- W4383371856 hasConceptScore W4383371856C40422974 @default.
- W4383371856 hasConceptScore W4383371856C41008148 @default.
- W4383371856 hasConceptScore W4383371856C55439883 @default.
- W4383371856 hasConceptScore W4383371856C80444323 @default.
- W4383371856 hasLocation W43833718561 @default.
- W4383371856 hasOpenAccess W4383371856 @default.
- W4383371856 hasPrimaryLocation W43833718561 @default.
- W4383371856 hasRelatedWork W2012220159 @default.
- W4383371856 hasRelatedWork W2028902198 @default.
- W4383371856 hasRelatedWork W2102030133 @default.
- W4383371856 hasRelatedWork W2136558125 @default.
- W4383371856 hasRelatedWork W2372415618 @default.
- W4383371856 hasRelatedWork W2534735702 @default.
- W4383371856 hasRelatedWork W2767681984 @default.
- W4383371856 hasRelatedWork W3125072487 @default.
- W4383371856 hasRelatedWork W3138236664 @default.
- W4383371856 hasRelatedWork W4383371856 @default.
- W4383371856 hasVolume "76" @default.
- W4383371856 isParatext "false" @default.
- W4383371856 isRetracted "false" @default.
- W4383371856 workType "article" @default.