PYI：提高大规模并发软件的可靠性-猫眼课题宝

PYI：提高大规模并发软件的可靠性

批准号：

9157629

负责人：

Michal Young

金额：

$25.2万

依托单位：

Purdue Research Foundation

依托单位国家：

美国

项目类别：

Continuing Grant

财政年份：

1991

资助国家：

美国

项目状态：

已结题

起止时间：

1991-08-01 至 1997-07-31

来源：

https://www.nsf.gov/awardsearch/showAward?AWD_ID=9157629&HistoricalAwards=false

关键词：

PYI Improving Dependability Large Scale

项目摘要

项目成果

Michal Young的其他基金

相似基金

相关文献

中文摘要

翻译

工作进行，以提高大规模并发软件的可靠性，（1）设计可扩展的，成分分析技术，（2）开发一个健全的框架相结合的验证，分析和测试技术，（3）集成分析技术在软件开发环境。

英文摘要

Work is performed to improve the dependability of large-scale concurrent software by; (1) devising scalable, compositional analysis techniques, (2) developing a sound framework for combining verification, analysis and testing techniques, and (3) integrating analysis techniques in software development environments.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文