| Presentation | 2012/7/20 A Consideration on Developing Dependability Case Shuichiro Yamamoto, Yutaka Matsuno, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Although dependability case is attracted to assure system safety and availability, methods and guidelines how to develop dependability cases. In this paper, problems and issues to develop dependability cases are clarified. Then practical methods to describe dependability cases are discussed. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Dependability case / Assurance Case / Risk analysis / Functional requirements specification / Non functional requirements / Lifecycle process / System development documents |
| Paper # | KBSE2012-22,SS2012-20 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2012/7/20(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Consideration on Developing Dependability Case |
| Sub Title (in English) | |
| Keyword(1) | Dependability case |
| Keyword(2) | Assurance Case |
| Keyword(3) | Risk analysis |
| Keyword(4) | Functional requirements specification |
| Keyword(5) | Non functional requirements |
| Keyword(6) | Lifecycle process |
| Keyword(7) | System development documents |
| 1st Author's Name | Shuichiro Yamamoto |
| 1st Author's Affiliation | Nagoya University, Strategy Office, Information and Communications Headquarters() |
| 2nd Author's Name | Yutaka Matsuno |
| 2nd Author's Affiliation | Nagoya University, Strategy Office, Information and Communications Headquarters |
| Date | 2012/7/20 |
| Paper # | KBSE2012-22,SS2012-20 |
| Volume (vol) | vol.112 |
| Number (no) | 165 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |