Combining software evidence: arguments and assurance

@article{Weaver2005CombiningSE,
  title={Combining software evidence: arguments and assurance},
  author={Rob Weaver and Georgios Despotou and Tim Kelly and John A. McDermid},
  journal={ACM SIGSOFT Software Engineering Notes},
  year={2005},
  volume={30},
  pages={1-7}
}
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… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

A systematic approach for safety evidence collection in the safety-critical domain

  • 2015 Annual IEEE Systems Conference (SysCon) Proceedings
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

Classification, Structuring, and Assessment of Evidence for Safety -- A Systematic Literature Review

  • 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation
  • 2013
VIEW 3 EXCERPTS
CITES BACKGROUND

Creating safety assurance cases for rebreather systems

  • 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)
  • 2013
VIEW 1 EXCERPT
CITES BACKGROUND

Introducing safety cases for health IT

  • 2012 4th International Workshop on Software Engineering in Health Care (SEHC)
  • 2012
VIEW 1 EXCERPT
CITES BACKGROUND

Towards Goal-Based Software Safety Certification Based on Prescriptive Standards

  • 2011 First International Workshop on Software Certification
  • 2011
VIEW 1 EXCERPT
CITES BACKGROUND