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

ITR：协作研究：高可信度软件开发中的自然语言

• 批准号: 0205588
• 负责人: Robyn Lutz
• 金额: --
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-09-01 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0205588&HistoricalAwards=false
• 关键词: ITR; Collaborative; Research; Natural; Language

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.

0205447和0205588标题：ITR： 合作研究：自然语言在高置信度软件开发中的应用PI： John Knight和Robyn Lutz领域知识在自然语言（如英语文本描述）中的不充分交流是高置信度软件中需求缺陷的主要来源。 这些缺陷可能威胁生命、财产和关键基础设施的可靠性。 这项研究开发了创新的多学科技术，旨在明确识别和科普导致这些问题的自然语言属性。 它从当前语言学理论的角度分析了领域知识交流问题，以生成减少领域专家和软件开发人员之间的沟通故障的模型和技术。 在此分析的基础上，将设计用于需求活动中领域知识的获取、记录和传播的技术。 还将开发一套工具，以支持这些工程技术的实际使用。 将利用几个案例研究来评估和改进航空和航天器应用领域中实际高置信度软件系统的技术和工具。的研究工作是针对减少需求缺陷，通过应用技术，考虑到特定的领域知识沟通的语言困难。