The essential synthesis of problem frames and assurance cases (2006)
| Venue: | In Proceedings of the 2nd International Workshop on Applications and Advances in Problem Frames (IWAAPF’06), co-located with the 28th International Conference on Software Engineering (ICSE’06 |
| Citations: | 3 - 1 self |
BibTeX
@INPROCEEDINGS{Strunk06theessential,
author = {Elisabeth A. Strunk and John C. Knight},
title = {The essential synthesis of problem frames and assurance cases},
booktitle = {In Proceedings of the 2nd International Workshop on Applications and Advances in Problem Frames (IWAAPF’06), co-located with the 28th International Conference on Software Engineering (ICSE’06},
year = {2006},
pages = {81--86},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Problem frames and assurance cases are two current research areas that can improve—and have improved—system dependability, in critical and noncritical systems alike. While these two techniques are effective separately, their synthesis is much more powerful. This paper describes the rationale behind the synthesis, the particular pieces that influence each other, and the beginning of a process to integrate the
Citations
| 37 | Relating software requirements and architectures using problem frames - Hall, Jackson, et al. - 2002 |
| 35 | The Goal Structuring Notation: A Safety Argument Notation - Kelly, Weaver - 2004 |
| 8 | A systematic approach to safety case management - Kelly - 2004 |
| 2 | A Methodology for Safety Case Development.” www.adelard.co.uk/resources/papers/index.htm - Bishop, Bloomfield |
| 2 | Problem Frames.” Addison-Wesley - Jackson - 2001 |
