Skip to main content
Article thumbnail
Location of Repository

Combining Software Evidence: Arguments and Assurance. Proceedings of the 2005 workshop on Realising evidence-based software engineering

By Rob Weaver, Georgios Despotou, Tim Kelly and John Mcdermid

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. 1

Publisher: ACM
Year: 2005
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.3522
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www-users.cs.york.ac.uk... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.