Published in

Association for Computing Machinery (ACM), Software Engineering Notes, 4(30), p. 1-7, 2005

DOI: 10.1145/1082983.1083182

Proceedings of the 2005 workshop on Realising evidence-based software engineering - REBSE '05

DOI: 10.1145/1083174.1083182

Links

Tools

Export citation

Search in Google Scholar

Combining software evidence

Journal article published in 2005 by Rob Weaver, Georgios Despotou ORCID, Tim Kelly, John Alexander McDermid ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

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.