首页    期刊浏览 2024年07月06日 星期六
登录注册

文章基本信息

  • 标题:Argument Schemes in Computer System Safety Engineering
  • 本地全文:下载
  • 作者:Tangming Yuan ; Tim Kelly
  • 期刊名称:Informal Logic
  • 印刷版ISSN:0824-2577
  • 出版年度:2011
  • 卷号:31
  • 期号:02
  • 页码:89-109
  • 出版社:Informal Logic
  • 摘要:

    Safe Safety arguments are key components in a safety case. Too often, safety arguments are constructed without proper reasoning. To address this, we argue that informal logic argument schemes have important roles to play in safety argument construction and reviewing process. Ten commonly used reasoning schemes in computer system safety domain are proposed. The role of informal logic dialogue games in computer system safety arguments reviewing is also discussed and the intended work in this area is proposed. It is anticipated that this work will contribute toward the development of computer system safety arguments, and help to move forward the interplay between research in informal logic and research in computer system safety engineering.

  • 关键词:safety arguments
国家哲学社会科学文献中心版权所有