在分布式实时系统的验证和确认中经济高效地使用断言-猫眼课题宝

在分布式实时系统的验证和确认中经济高效地使用断言

批准号：

DP0773438

负责人：

Em/Prof Paul Strooper

金额：

$15.05万

依托单位：

The University of Queensland

依托单位国家：

澳大利亚

项目类别：

Discovery Projects

财政年份：

2007

资助国家：

澳大利亚

项目状态：

已结题

起止时间：

2007-01-01 至 2010-06-30

来源：

https://dataportal.arc.gov.au/RGS/Web/Grants/DP0773438

关键词：

Cost effective use assertions verification

项目摘要

项目成果

Em/Prof Paul Strooper的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文