The essential synthesis of problem frames and assurance cases

Proceedings - International Conference on Software Engineering

Volumn 2006-May, Issue , 2006, Pages 81-86

  Strunk, Elisabeth A ^a   Knight, John C ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

Assurance cases; Problem frames; Safety cases

Indexed keywords

SOFTWARE ENGINEERING;

ASSURANCE CASE; PROBLEM FRAMES; SAFETY CASE; SOFTWARE SYSTEMS; SYSTEM DEPENDABILITY;

SOFTWARE DESIGN;

EID: 84953382744     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138670.1138683     Document Type: Conference Paper

References (5)

1. Bishop, Peter and Robin Bloomfield. "A Methodology for Safety Case Development." 〈http:// www.adelard.co.uk/resources/papers/index.htm〉
2. J. Hall, M. Jackson, R. Laney, B. Nuseibeh, and L. Rapanotti. "Relating Software Requirements and Architectures using Problem Frames." Proceedings of IEEE International Requirements Engineering Conference (RE'02), Essen, Germany, September 2002.
3. Jackson, M. "Problem Frames." Addison-Wesley: Harlow, England, 2001.
4. Kelly, T. P. "A Systematic Approach to Safety Case Management." Proc. of SAE 2004 World Congress, Detroit, MI, March 2004.
5. Weaver, R. A. and T. P. Kelly. "The Goal Structuring Notation-A Safety Argument Notation." Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases, July 2004.