课题基金 / 基金详情

A literate process for the certification of scientific and engineering software

A literate process for the certification of scientific and engineering software
科学和工程软件认证的文字流程
批准号：
447544-2013
负责人：
Smith, Spencer
金额：
$2.44万
依托单位：
McMaster University
依托单位国家：
加拿大
项目类别：
Collaborative Research and Development Grants
财政年份：
2016
资助国家：
加拿大
项目状态：
已结题
起止时间：
2016-01-01 至 2017-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=597078
关键词：
literateprocesscertificationscientificengineering

项目摘要

项目成果

Smith, Spencer的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Our principal objective is to develop certifiable scientific and engineering software. One problem with current processes is that there is considerable duplication between software artifacts, as well as a definite lack of traceability between these artifacts. We believe that we can solve both of these problems by adapting the ideas behind Literate Programming (LP), in which programs are written first with the goal of being understandable to human readers, rather than being artificially constrained by the ordering and formatting required by conventional computer code.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Accelerated and targeted discovery of cellulases from rumen microbiome
  • 批准号：
    563075-2021
  • 项目类别：
    University Undergraduate Student Research Awards
  • 资助金额：
    $0.44万
  • 财政年份：
    2021
  • 负责人：
    Smith, Spencer
  • 依托单位：
    University of Alberta
A literate process for the certification of scientific and engineering software
  • 批准号：
    447544-2013
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $1.33万
  • 财政年份：
    2018
  • 负责人：
    Smith, Spencer
  • 依托单位：
    McMaster University
A literate process for the certification of scientific and engineering software
  • 批准号：
    447544-2013
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $2.44万
  • 财政年份：
    2017
  • 负责人：
    Smith, Spencer
  • 依托单位：
    McMaster University
A literate process for the certification of scientific and engineering software
  • 批准号：
    447544-2013
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $0.62万
  • 财政年份：
    2015
  • 负责人：
    Smith, Spencer
  • 依托单位：
    McMaster University
国内基金
海外基金
Neural Process模型的多样化高保真技术研究
磁转动超新星爆发中weak r-process的关键核反应
转运蛋白RCP调控巨噬细胞脂肪酸氧化参与系统性红斑狼疮发病的机制研究
  • 批准号：
    82371798
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    叶俊娜
  • 依托单位：
    上海交通大学
富营养化藻分段式水热液化过程营养元素Ｎ迁移及低Ｎ成油机制