• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the 2005 workshop on Realising evidence-based software engineering >Combining software evidence
【24h】

Combining software evidence

机译：结合软件证据

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Argumentation is an approach which can be used for describing how evidence satisfies requirements and objectives. A structured argumentation notation allows developers to determine the need for individual items of evidence and allows reviewers to determine whether a complete set of evidence satisfies the requirements. This paper introduces an established argumentation notation from the safety critical domain, as well as new research into dependability arguments and assurance of arguments. These techniques and concepts have been applied to the development and certification of safety critical software and it is believed they are both applicable to and beneficial for the wider field of evidence-based software engineering.
机译：论证是一种可用于描述证据如何满足要求和目标的方法。结构化的论点表示法使开发人员可以确定对单个证据项的需求，并允许审阅者确定一套完整的证据是否满足要求。本文从安全关键领域介绍了已建立的论证符号，以及对可靠性论证和论证保证的新研究。这些技术和概念已应用于安全关键软件的开发和认证，并且据信它们既适用于基于证据的软件工程，又对基于证据的软件工程更有益。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号