CAREER: Rationale Capture for High-Assurance Systems

职业：高保证系统的基本原理捕获

• 批准号: 0844638
• 负责人: James Kiper
• 金额: $ 52.77万
• 依托单位: Miami University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2015-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0844638&HistoricalAwards=false
• 关键词: CAREER; Rationale; Capture; Assurance; Systems

This award is funded under the American Recovery and Reinvestment Act of 2009(Public Law 111-5).This project will develop the ideas behind, and tools required for, a Rationale Management System that captures design decisions made during software development. The approach utilizes technology developed to support the Semantic Web, using Semantic Annotation to extract information so that it can be structured into an argumentation format for use in development and maintenance. The research and educational activities will impact our ability to leverage knowledge captured during the development of software projects to enhance those software projects. The project will also use rationale to enhance the educational experience of students. The relationship between argumentation-based rationale and student learning will be explored through the Rationale, Critical Thinking, and Creativity Project which evaluates the ability of rationale to assist students in moving to higher levels of cognitive and intellectual development. Partnerships with outreach organizations will provide learning opportunities for underrepresented groups and persons with disabilities.

该奖项是根据2009年美国复苏和再投资法案（公法111-5）资助的。该项目将开发背后的想法和所需的工具，一个合理的管理系统，捕捉软件开发过程中做出的设计决策。该方法利用开发的技术来支持语义Web，使用语义注释来提取信息，以便它可以被构造成一个论证格式，用于开发和维护。 研究和教育活动将影响我们利用软件项目开发过程中获取的知识来增强这些软件项目的能力。该项目还将利用基本原理来加强学生的教育经验。基于论证的理论与学生学习之间的关系将通过理论，批判性思维和创造力项目进行探讨，该项目评估了理论的能力，以帮助学生达到更高水平的认知和智力发展。与外联组织的伙伴关系将为代表性不足的群体和残疾人提供学习机会。