ITR: Collaborative Research: Natural Language in the Development of High Confidence Software
ITR:协作研究:高可信度软件开发中的自然语言
基本信息
- 批准号:0205447
- 负责人:
- 金额:$ 60万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2002
- 资助国家:美国
- 起止时间:2002-09-01 至 2006-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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..
提案编号:0205447和0205588标题:ITR: 合作研究:自然语言在高置信度软件开发中的应用PI:John Knight和Robyn Lutz自然语言中领域知识的不充分交流(如英语文本描述)是高置信度软件中需求缺陷的主要来源。 这些缺陷可能威胁生命、财产和关键基础设施的可靠性。 这项研究开发了创新的多学科技术,旨在明确识别和科普导致这些问题的自然语言属性。 它从当前语言学理论的角度分析了领域知识交流问题,以生成减少领域专家和软件开发人员之间的沟通故障的模型和技术。 在此分析的基础上,将设计用于需求活动中领域知识的获取、记录和传播的技术。 还将开发一套工具,以支持这些工程技术的实际使用。 将利用几个案例研究来评估和改进航空和航天器应用领域中实际高置信度软件系统的技术和工具。研究工作是针对减少需求缺陷,通过应用技术,考虑到特定的领域知识沟通的语言困难。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
John Knight其他文献
The Rural-Urban Divide: Economic Disparities and Interactions in China . By John Knight and Lina Song. Oxford: Oxford University Press, 1999. xvii, 352 pp. $85.00 (cloth).
城乡差距:中国的经济差距和相互作用。
- DOI:
10.2307/2659518 - 发表时间:
2001 - 期刊:
- 影响因子:0
- 作者:
David Zweig;John Knight;Lina Song - 通讯作者:
Lina Song
MP12-01 INCREASED URINARY EXCRETION OF GLYCOLATE AND OXALATE IN OBESE AND DIABETIC MICE MODELS
- DOI:
10.1016/j.juro.2017.02.423 - 发表时间:
2017-04-01 - 期刊:
- 影响因子:
- 作者:
Kyle Wood;John Knight;Dean Assimos;Ross Holmes - 通讯作者:
Ross Holmes
1646: Variability of Oxalobacter Formigenes in Stool
- DOI:
10.1016/s0022-5347(18)31834-2 - 发表时间:
2007-04-01 - 期刊:
- 影响因子:
- 作者:
Sergey Prokopovich;John Knight;Ross P. Holmes;Dean G. Assimos - 通讯作者:
Dean G. Assimos
MP24-04 URINARY OXALATE EXCRETION IN OBESE MOUSE MODEL
- DOI:
10.1016/j.juro.2018.02.757 - 发表时间:
2018-04-01 - 期刊:
- 影响因子:
- 作者:
Kyle Wood;John Knight;Dean Assimos;Barbara Gower;Ross Holmes - 通讯作者:
Ross Holmes
China's growing but slowing inequality of household wealth, 2013–2018: A challenge to ‘common prosperity’?
2013 至 2018 年中国家庭财富不平等加剧但增速放缓:对“共同富裕”的挑战?
- DOI:
10.1016/j.chieco.2023.101947 - 发表时间:
2023-06-01 - 期刊:
- 影响因子:5.500
- 作者:
Haiyuan Wan;John Knight - 通讯作者:
John Knight
John Knight的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('John Knight', 18)}}的其他基金
SHF: Medium: Assurance Based Development: A Rational Approach To Creating High Assurance Software
SHF:中:基于保证的开发:创建高保证软件的合理方法
- 批准号:
0905375 - 财政年份:2009
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
CT-T: Practical Formal Verification By Specification Extraction
CT-T:通过规范提取进行实用形式验证
- 批准号:
0716478 - 财政年份:2007
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
CSR: EHS: Assurance-Based Development of Critical Embedded Systems
CSR:EHS:关键嵌入式系统的基于保证的开发
- 批准号:
0720794 - 财政年份:2007
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
CT-T: A System Structure for Secretless Security
CT-T:无秘密安全的系统结构
- 批准号:
0524432 - 财政年份:2005
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
Next Generation Laboratories in Computer Science Education
下一代计算机科学教育实验室
- 批准号:
0127452 - 财政年份:2002
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
The Somerset Laboratory: An Open Facility for Experimentation in Safety-Critical Systems
萨默塞特实验室:安全关键系统实验的开放设施
- 批准号:
9525843 - 财政年份:1996
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
A Case Study in Fault Tolerance and Software Safety
容错和软件安全案例研究
- 批准号:
9213427 - 财政年份:1992
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
相似海外基金
ITR Collaborative Research: Pervasively Secure Infrastructures (PSI): Integrating Smart Sensing, Data Mining, Pervasive Networking, and Community Computing
ITR 协作研究:普遍安全基础设施 (PSI):集成智能传感、数据挖掘、普遍网络和社区计算
- 批准号:
1404694 - 财政年份:2013
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
ITR-SCOTUS: A Resource for Collaborative Research in Speech Technology, Linguistics, Decision Processes, and the Law
ITR-SCOTUS:语音技术、语言学、决策过程和法律合作研究的资源
- 批准号:
1139735 - 财政年份:2011
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
ITR/NGS: Collaborative Research: DDDAS: Data Dynamic Simulation for Disaster Management
ITR/NGS:合作研究:DDDAS:灾害管理数据动态模拟
- 批准号:
0963973 - 财政年份:2009
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
ITR/NGS: Collaborative Research: DDDAS: Data Dynamic Simulation for Disaster Management
ITR/NGS:合作研究:DDDAS:灾害管理数据动态模拟
- 批准号:
1018072 - 财政年份:2009
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
ITR Collaborative Research: A Reusable, Extensible, Optimizing Back End
ITR 协作研究:可重用、可扩展、优化的后端
- 批准号:
0838899 - 财政年份:2008
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
ITR Collaborative Research: Pervasively Secure Infrastructures (PSI): Integrating Smart Sensing, Data Mining, Pervasive Networking, and Community Computing
ITR 协作研究:普遍安全基础设施 (PSI):集成智能传感、数据挖掘、普遍网络和社区计算
- 批准号:
0833849 - 财政年份:2008
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
ITR/NGS: Collaborative Research: DDDAS: Data Dynamic Simulation for Disaster Management
ITR/NGS:合作研究:DDDAS:灾害管理数据动态模拟
- 批准号:
0808419 - 财政年份:2007
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
ITR: Collaborative Research - ASE - (sim+dmc): Image-based Biophysical Modeling: Scalable Registration and Inversion Algorithms and Distributed Computing
ITR:协作研究 - ASE - (sim dmc):基于图像的生物物理建模:可扩展配准和反演算法以及分布式计算
- 批准号:
0849301 - 财政年份:2007
- 资助金额:
$ 60万 - 项目类别:
Continuing Grant
ITR: Collaborative Research: Modeling and Display of Haptic Information for Enhanced Performance of Computer-Integrated Surgery
ITR:协作研究:触觉信息建模和显示,以提高计算机集成手术的性能
- 批准号:
0711040 - 财政年份:2007
- 资助金额:
$ 60万 - 项目类别:
Standard Grant
Collaborative Research: ITR-(ASE)-(dmc): Overcoming Fractionation Errors in Cancer Treatement Planning
合作研究:ITR-(ASE)-(dmc):克服癌症治疗计划中的分割错误
- 批准号:
0749671 - 财政年份:2006
- 资助金额:
$ 60万 - 项目类别:
Standard Grant