Toward adding knowledge to learning algorithms for indexing legal cases
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
XML in Action: Web Technology with CD-ROM
XML in Action: Web Technology with CD-ROM
A Case-Based Approach to Modeling Legal Expertise
IEEE Expert: Intelligent Systems and Their Applications
Cases as terms: A feature term approach to the structured representation of cases
ICCBR '95 Proceedings of the First International Conference on Case-Based Reasoning Research and Development
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Blending Descriptive and Numeric Analysis in Human Reliability Design
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
| Hi-index | 0.00 |
Descriptive arguments are an intrinsic part of the process of determining the dependability of any system, particularly in the case of safety critical systems. For such systems, safety cases are constructed to demonstrate that a system meets dependability requirements. This process includes the application of hazard analysis techniques. However, such techniques are error-prone, time consuming and apply "ad hoc" reuse. Hence, the use of systematic, exhaustive hazard analysis can lead to an illusion of high confidence in the parent dependability argument that is compromised by lack of rigour.We have investigated the application of structure and reuse techniques to improve hazard classification arguments and their associated parent dependability arguments. A structure for hazard arguments has been presented and an example from a software hazard analysis has been exemplified using XML. Using two methods of structural reuse, hazard arguments can be improved for both argument generation and post argument construction analysis.