@article{p8-weaver,
 author = {Weaver,, Rob and Despotou,, Georgios and Kelly,, Tim and
    McDermid,, John},
 title = {Combining software evidence: arguments and assurance},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {30},
 number = {4},
 year = {2005},
 issn = {0163-5948},
 pages = {1--7},
 doi = {http://doi.acm.org/10.1145/1082983.1083182},
 publisher = {ACM},
 address = {New York, NY, USA},
}

ABSTRACT 

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.