• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
【24h】

A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

机译：需求规范中不确定性和不一致性的六值逻辑

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

摘要

The development of requirements specifications is characterized by the uncertain and changeable knowledge available about the systems to be built. This paper presents a many-valued logic that enables effective reasoning about uncertainty and inconsistency in requirements specifications, motivating the election of six truth values and the definition of a new implication connective. The adequacy of this logic to support a formal development methodology is assessed through a comparison with Belnap's four-valued logic in combination with the classical implications.
机译：需求规范的开发的特征在于，关于待构建系统的不确定性和可变知识。本文提出了一种多值逻辑，可以对需求规范中的不确定性和不一致性进行有效的推理，从而激发六个真值的选择和新的蕴涵连接词的定义。通过与Belnap的四值逻辑结合经典含义的比较，评估了此逻辑是否支持正式开发方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号