Combining software evidence: Arguments and assurance

Proceedings of the 2005 Workshop on Realising Evidence-Based Software Engineering, REBSE '05

Volumn , Issue , 2005, Pages

  Weaver, Rob ^a   Despotou, Georgios ^a   Kelly, Tim ^a   McDermid, John ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

argumentation; evidence; requirements; safety

Indexed keywords

EVIDENCE BASED SOFTWARE ENGINEERING; SAFETY CRITICAL SOFTWARE; SAFETY-CRITICAL DOMAIN;

COMPUTER SOFTWARE;

SAFETY ENGINEERING;

EID: 77954001784     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1083174.1083182     Document Type: Conference Paper

References (9)

1. U.K. Ministry of Defence, 00-56 Safety Management Requirements for Defence Systems, Ministry of Defence, Defence Standard, December 2004.
2. T. P. Kelly, Arguing Safety - A Systematic Approach to Safety Case Management, DPhil Thesis YCST99-05, Department of Computer Science, University of York, UK, 1998.
3. S. McConnell, Code Complete - A Practical Handbook of Software Construction, Microsoft Press, 1993.
4. T P Kelly & J A McDermid, "Safety Case Construction and Reuse using Patterns", in Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97), Springer-Verlag, September 1997.
5. R. A. Weaver, The Safety of Software - Constructing and Assuring Arguments, DPhil Thesis, Department of Computer Science, University of York, UK, 2003.
6. st International Conference on Computer Safety, Reliability and Security (SAFECOMP'02), Springer-Verlag, September 2002.
7. U.K. Ministry of Defence, 00-40 - Reliability and Maintainability (R&M), June 2003.
8. European Community advisory group Seniors Ocals Group Information Systems Security. Information Technology Security Evaluation Criteria. Department of Trade and Industry, United Kingdom, June 1991. Version 1.2.
9. T. Govier, A Practical Study of Argument. Wadsworth, 1998