摘要：使用Promise理论, 在某种话语中提出一个结构化方法，以解决对于我们缺乏完全信息的陈述的评估的公共争议。作为一个案例，我们使用Promise理论（PT）来收集和构建关于波音737 Max飞行控制系统的MCAS软件组件的公开可获取信息。
作者：J.A. Bergstra and M. Burgess
论文ID：2001.01543
分类：Other Computer Science
分类简称：cs.OH
提交时间：2020-01-07
PDF 下载： 英文版 中文版pdf翻译中