Code complete: a practical handbook of software construction
Code complete: a practical handbook of software construction
A Systematic Approach to Safety Case Maintenance
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Architectural Considerations in the Certification of Modular Systems
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Realising evidence-based software engineering a report from the workshop held at ICSE 2005
ACM SIGSOFT Software Engineering Notes
Applying Safety Goals to a New Intensive Care Workstation System
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Modelling software processes: a focus on objectives
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
A lightweight framework for describing software practices
Journal of Systems and Software
Establishing evidence for safety cases in automotive systems: a case study
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
Argumentation is an approach which can be used for describing how evidence satisfies requirements and objectives. A structured argumentation notation allows developers to determine the need for individual items of evidence and allows reviewers to determine whether a complete set of evidence satisfies the requirements. This paper introduces an established argumentation notation from the safety critical domain, as well as new research into dependability arguments and assurance of arguments. These techniques and concepts have been applied to the development and certification of safety critical software and it is believed they are both applicable to and beneficial for the wider field of evidence-based software engineering.