ITR: Collaborative Research: Natural Language in the Development of High Confidence Software

题目：ITR：协作研究：高置信度软件开发中的自然语言pi: John Knight和Robyn lutz自然语言领域知识交流不足（如英语文本描述）是高置信度软件需求缺陷的主要来源。这样的缺陷会威胁到生命、财产和关键基础设施的可靠性。本研究开发了创新的、多学科的技术，专门用于识别和处理导致这些问题的自然语言的属性。本文从当前语言学理论的角度分析了领域知识的沟通问题，以期产生减少领域专家与软件开发人员之间沟通障碍的模型和技术。在此分析的基础上，将设计在需求活动中引出、记录和传播领域知识的技术。此外，还将开发一套工具来支持这些工程技术的实际应用。将使用几个案例研究来评估和改进航空和航天器应用领域中实际的高可信度软件系统的技术和工具。研究工作的目标是通过应用技术来减少需求缺陷，这些技术考虑到领域知识交流的语言困难。

Proposal Numbers: 0205447 and 0205588TITLE: ITR: Collaborative Research: Natural Language in the Development of High-Confidence SoftwarePI: John Knight and Robyn LutzInadequate communication of domain knowledge in natural language (such as English textual descriptions) is a major source of requirements defects in high-confidence software. Such defects can threaten lives, property, and the dependability of critical infrastructures. This research develops innovative, multi-disciplinary techniques designed expressly to identify and cope with the properties of natural language that lead to these problems. It analyses the domain-knowledge communication problem from the perspective of current linguistic theory in order to generate models and techniques that reduce communication breakdowns between domain experts and software developers. On the basis of this analysis, techniques for the elicitation, recording, and propagation of domain knowledge in requirements activities will be designed. A set of tools will also be developed to support the practical use of these engineering techniques. Several case studies will be used to assess and refine the techniques and tools on actual, high-confidence software systems in the aviation and spacecraft application domains. The research effort is directed at the reduction of requirements defects through the application of techniques that take into account the linguistic difficulties particular to domain knowledge communication..