![]() ![]() |
|
タケヤマ マコト
Takeyama Makoto 武山 誠 所属 神奈川大学 理学部 情報科学科 神奈川大学大学院 理学研究科 理学専攻(情報科学領域) 職種 教授 |
|
言語種別 | 日本語 |
発行・発表の年月 | 2009 |
形態種別 | 大学・研究所等紀要 |
標題 | FM Approaches to Assurance cases |
執筆形態 | 共著 |
掲載誌名 | 算譜科学研究速報(Programming Science Technical Report),AIST-PS-2009-010,CVS/AiST |
著者・共著者 | Keishi Okamoto, Makoto Takeyama |
概要 | Assurance cases are a key concept in communicating dependability assurance of computer systems among the stakeholders. Noting an analogy between assurance cases and proofs, we plan to apply the technology of interactive proof assistants for construction and assessment of assurance cases. |