课题基金 / 基金详情

Specification and Design Support for Software Evolution

Specification and Design Support for Software Evolution
软件演进的规范和设计支持
批准号:
9633428
负责人:
Nancy Leveson
金额:
$8.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1996
资助国家:
美国
项目状态:
已结题
起止时间:
1996-09-01 至 1999-05-18

项目摘要

项目成果

Nancy Leveson的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This research is investigating specification and design support for software evolution by applying hierarchical abstractions based on intent rather than the aggregation and information-hiding abstractions commonly used in software engineering. Cognitive psychologists have shown that intent abstraction is consistent with human problem-solving processes. The hypothesis being evaluated in this research is that new types of specifications and designs based on this concept can assist in understanding existing software, capture the most important design rationale information in an efficient and economical way, and support the process of identifying and analyzing required changes to minimize the introduction of errors during maintenance. To evaluate these hypotheses, protocol analysis techniques are being used to explore the processes involved in software evolution tasks, and other empirical studies are being used to evaluate the impact of this new form of specification and design on these processes. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: A Systems Approach to Predicting and Preventing Accidents During Operations
SGER: A Socio-Technical Approach to Internet Security
DRU: Dynamic Modeling of System Safety to Manage Risk and Enable Internal and External Cross-Stakeholder Alignment
Designing Software to Reduce Operator Error
国内基金
海外基金
Applications of AI in Market Design
  • 批准号:
    --
  • 项目类别:
    外国青年学者研 究基金项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
    Manshu Khanna
  • 依托单位:
基于“Design-Build-Test”循环策略的新型紫色杆菌素组合生物合成研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2021
  • 负责人:
  • 依托单位:
在噪声和约束条件下的unitary design的理论研究
  • 批准号:
    12147123
  • 项目类别:
    专项基金项目
  • 资助金额:
    18万元
  • 批准年份:
    2021
  • 负责人:
    顾炎武
  • 依托单位: