Matches in SemOpenAlex for { <https://semopenalex.org/work/W2531597572> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2531597572 abstract "abstract Accident reports are typically divided into chapters which reflect the different perspectives of various specialists. It is sometimes the case that these alternative viewpoints lead to inconsistencies and omissions where an incident covered at length by one specialist may be ignored by another. This creates a problem in that the conclusions of the report may thus be muddled or incomplete and consequently lead to further errors of comprehension amongst those who need to understand the findings. Similarly, several different reports of the same accident may be produced and it is desirable to have a rigorous method for checking consistency between them. This creates problems for the companies and regulators which must act on the findings of these inconsistent accounts. We present the novel application of the idea of cross-viewpoint consistency, typically used in software engineering, to unify different accident perspectives. Furthermore, we propose that the method of consistency checking that we use ensures that a new, more detailed view of the overall accident is produced which encompasses two or more different viewpoints. In doing so, we show, for the first time, how cross-viewpoint consistency checking may be achieved for accident analysis in the temporal logic of actions (TLA). abstract Keywords : Accident analysis, Temporal Logic of Actions, Cross-Viewpoint consistency, Unifying specification (account), internal consistency checking." @default.
- W2531597572 created "2016-10-21" @default.
- W2531597572 creator A5074640649 @default.
- W2531597572 creator A5079869230 @default.
- W2531597572 date "1996-08-01" @default.
- W2531597572 modified "2023-09-27" @default.
- W2531597572 title "Cross-viewpoint Consistency in Accident Investigations" @default.
- W2531597572 hasPublicationYear "1996" @default.
- W2531597572 type Work @default.
- W2531597572 sameAs 2531597572 @default.
- W2531597572 citedByCount "0" @default.
- W2531597572 crossrefType "journal-article" @default.
- W2531597572 hasAuthorship W2531597572A5074640649 @default.
- W2531597572 hasAuthorship W2531597572A5079869230 @default.
- W2531597572 hasConcept C111472728 @default.
- W2531597572 hasConcept C112930515 @default.
- W2531597572 hasConcept C120314980 @default.
- W2531597572 hasConcept C138885662 @default.
- W2531597572 hasConcept C142362112 @default.
- W2531597572 hasConcept C153349607 @default.
- W2531597572 hasConcept C154945302 @default.
- W2531597572 hasConcept C175652121 @default.
- W2531597572 hasConcept C199360897 @default.
- W2531597572 hasConcept C2776035091 @default.
- W2531597572 hasConcept C2776436953 @default.
- W2531597572 hasConcept C2780289543 @default.
- W2531597572 hasConcept C37279795 @default.
- W2531597572 hasConcept C41008148 @default.
- W2531597572 hasConcept C511192102 @default.
- W2531597572 hasConcept C71924100 @default.
- W2531597572 hasConcept C82029504 @default.
- W2531597572 hasConcept C93361087 @default.
- W2531597572 hasConceptScore W2531597572C111472728 @default.
- W2531597572 hasConceptScore W2531597572C112930515 @default.
- W2531597572 hasConceptScore W2531597572C120314980 @default.
- W2531597572 hasConceptScore W2531597572C138885662 @default.
- W2531597572 hasConceptScore W2531597572C142362112 @default.
- W2531597572 hasConceptScore W2531597572C153349607 @default.
- W2531597572 hasConceptScore W2531597572C154945302 @default.
- W2531597572 hasConceptScore W2531597572C175652121 @default.
- W2531597572 hasConceptScore W2531597572C199360897 @default.
- W2531597572 hasConceptScore W2531597572C2776035091 @default.
- W2531597572 hasConceptScore W2531597572C2776436953 @default.
- W2531597572 hasConceptScore W2531597572C2780289543 @default.
- W2531597572 hasConceptScore W2531597572C37279795 @default.
- W2531597572 hasConceptScore W2531597572C41008148 @default.
- W2531597572 hasConceptScore W2531597572C511192102 @default.
- W2531597572 hasConceptScore W2531597572C71924100 @default.
- W2531597572 hasConceptScore W2531597572C82029504 @default.
- W2531597572 hasConceptScore W2531597572C93361087 @default.
- W2531597572 hasLocation W25315975721 @default.
- W2531597572 hasOpenAccess W2531597572 @default.
- W2531597572 hasPrimaryLocation W25315975721 @default.
- W2531597572 hasRelatedWork W1523106450 @default.
- W2531597572 hasRelatedWork W1556913338 @default.
- W2531597572 hasRelatedWork W1579391008 @default.
- W2531597572 hasRelatedWork W171767611 @default.
- W2531597572 hasRelatedWork W2052126163 @default.
- W2531597572 hasRelatedWork W2064616893 @default.
- W2531597572 hasRelatedWork W2078706056 @default.
- W2531597572 hasRelatedWork W2109342756 @default.
- W2531597572 hasRelatedWork W2114402594 @default.
- W2531597572 hasRelatedWork W2123591057 @default.
- W2531597572 hasRelatedWork W2147454307 @default.
- W2531597572 hasRelatedWork W2167864680 @default.
- W2531597572 hasRelatedWork W2168690391 @default.
- W2531597572 hasRelatedWork W2199010630 @default.
- W2531597572 hasRelatedWork W2383937031 @default.
- W2531597572 hasRelatedWork W2398785457 @default.
- W2531597572 hasRelatedWork W26781650 @default.
- W2531597572 hasRelatedWork W3015339533 @default.
- W2531597572 hasRelatedWork W3201575930 @default.
- W2531597572 hasRelatedWork W81193849 @default.
- W2531597572 isParatext "false" @default.
- W2531597572 isRetracted "false" @default.
- W2531597572 magId "2531597572" @default.
- W2531597572 workType "article" @default.