Safeware: system safety and computers
Safeware: system safety and computers
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
A Systematic Approach to Safety Case Maintenance
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A First Step Towards the Integration of Accident Reports and Constructive Design Documents
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Hi-index | 0.00 |
Accident reports are intended to explain the causes of human error, system failure and managerial weakness. There is, however, a growing realization that existing investigation techniques fail to meet the challenges created by accidents that involve software failures. This paper argues that existing software development techniques cannot easily be used to provide retrospective information about the complex and systemic causes of major accidents. In consequence, we must develop specific techniques to support forensic software engineering.