规格编制-猫眼课题宝

规格编制

批准号：

DP0208046

负责人：

Prof Colin Fidge

金额：

$13.63万

依托单位：

The University of Queensland

依托单位国家：

澳大利亚

项目类别：

Discovery Projects

财政年份：

2002

资助国家：

澳大利亚

项目状态：

已结题

起止时间：

2002-01-01 至 2004-12-31

来源：

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

关键词：

Compilation Specifications

项目摘要

项目成果

Prof Colin Fidge的其他基金

相似基金

相关文献

中文摘要

翻译

计算机软件现在控制着全球的关键系统。国际标准要求这样的程序必须从精确的数学规范中产生，但涉及的技术和工具非常复杂，大多数程序员都不熟悉

英文摘要

Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmer

期刊论文(0)

专著(0)

科研奖励(0)

会议论文