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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
批准号:1841231
-
项目类别:Standard Grant
-
资助金额:$12.45万
-
财政年份:2018
-
负责人:Nancy Leveson
-
依托单位:
SGER: A Socio-Technical Approach to Internet Security
-
批准号:0550008
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Nancy Leveson
-
依托单位:
DRU: Dynamic Modeling of System Safety to Manage Risk and Enable Internal and External Cross-Stakeholder Alignment
-
批准号:0527660
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Nancy Leveson
-
依托单位:
Designing Software to Reduce Operator Error
-
批准号:0438153
-
项目类别:Standard Grant
-
资助金额:$48.0万
-
财政年份:2005
-
负责人:Nancy Leveson
-
依托单位:
ITR: A Center for Safety-Critical Embedded Software
-
批准号:0085829
-
项目类别:Continuing Grant
-
资助金额:$150.0万
-
财政年份:2000
-
负责人:Nancy Leveson
-
依托单位:
Specification and Design Support for Software Evolution
-
批准号:9996268
-
项目类别:Standard Grant
-
资助金额:$7.03万
-
财政年份:1999
-
负责人:Nancy Leveson
-
依托单位:
Software Requirements and the Human-Computer Interface
-
批准号:9996265
-
项目类别:Continuing Grant
-
资助金额:$22.48万
-
财政年份:1999
-
负责人:Nancy Leveson
-
依托单位:
Software Requirements and the Human-Computer Interface
-
批准号:9520813
-
项目类别:Continuing Grant
-
资助金额:$28.5万
-
财政年份:1996
-
负责人:Nancy Leveson
-
依托单位:
CISE Postdoctoral Program: ES Postdoctoral Associate: Safety and the Human-Computer Interface
-
批准号:9504064
-
项目类别:Standard Grant
-
资助金额:$4.62万
-
财政年份:1995
-
负责人:Nancy Leveson
-
依托单位:
FAW: Specification and Analysis Methodology for Safety- Critical Software
-
批准号:9396181
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:1993
-
负责人:Nancy Leveson
-
依托单位:
CISE/CDA 1991 Minority Graduate Fellowship Honorable Mention(Ruben Ortega)
-
批准号:9121462
-
项目类别:Standard Grant
-
资助金额:$0.6万
-
财政年份:1991
-
负责人:Nancy Leveson
-
依托单位:
Committee on Status of Women in Computer Science
-
批准号:9103163
-
项目类别:Standard Grant
-
资助金额:$9.49万
-
财政年份:1991
-
负责人:Nancy Leveson
-
依托单位:
FAW: Specification and Analysis Methodology for Safety- Critical Software
-
批准号:9023513
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1991
-
负责人:Nancy Leveson
-
依托单位:
Software Safety in Process Control Systems
-
批准号:9006279
-
项目类别:Continuing Grant
-
资助金额:$10.86万
-
财政年份:1990
-
负责人:Nancy Leveson
-
依托单位:
Safety-Critical Software Development (Computer Science)
-
批准号:8800505
-
项目类别:Standard Grant
-
资助金额:$12.32万
-
财政年份:1988
-
负责人:Nancy Leveson
-
依托单位:
Completeness in Software Requirements Specifications for Process Control Systems
-
批准号:8718001
-
项目类别:Standard Grant
-
资助金额:$17.44万
-
财政年份:1988
-
负责人:Nancy Leveson
-
依托单位:
Analyzing Fault Tolerance and Safety Using Time Petri Nets
-
批准号:8406532
-
项目类别:Standard Grant
-
资助金额:$8.46万
-
财政年份:1984
-
负责人:Nancy Leveson
-
依托单位:
国内基金
海外基金
Applications of AI in Market Design
-
批准号:--
-
项目类别:外国青年学者研 究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:Manshu Khanna
-
依托单位:
基于“Design-Build-Test”循环策略的新型紫色杆菌素组合生物合成研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2021
-
负责人:
-
依托单位:
在噪声和约束条件下的unitary design的理论研究
-
批准号:12147123
-
项目类别:专项基金项目
-
资助金额:18万元
-
批准年份:2021
-
负责人:顾炎武
-
依托单位: