タケヤマ マコト   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.