权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

A literate process for the certification of scientific and engineering software

科学和工程软件认证的文字流程

基本信息

批准号：
447544-2013
负责人：
Smith, Spencer
金额：
$ 0.46万
依托单位：
McMaster University
依托单位国家：
加拿大
项目类别：
Collaborative Research and Development Grants
财政年份：
2014
资助国家：
加拿大
起止时间：
2014-01-01 至 2015-12-31
项目状态：
已结题

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=554577
关键词：
literate process certification scientific engineering

项目摘要

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.

我们的主要目标是开发可认证的科学和工程软件。当前过程的一个问题是软件工件之间存在相当多的重复，以及这些工件之间明确缺乏可追溯性。我们相信，我们可以通过采纳文学编程（LP）背后的思想来解决这两个问题，在LP中，程序的编写首先以人类读者可以理解为目标，而不是人为地受到传统计算机代码所需的顺序和格式的限制。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Smith, Spencer其他文献

How Climate Literacy and Public Opinion Are the Driving Forces Behind Climate-Based Policy: A Student Perspective on COP27.

DOI：
10.1021/acsomega.2c07674
发表时间：
2023-02-07
期刊：
ACS OMEGA
影响因子：
4.1
作者：
Sill, Tiffany E.;Ayala, Jaime R.;Rolf, Julianne;Smith, Spencer;Dye, Shelby
通讯作者：
Dye, Shelby

Is Timing of Total Hip Arthroplasty and Lumbar Spine Fusion Associated With Risk of Hip Dislocation?

DOI：
10.1016/j.artd.2023.101202
发表时间：
2023-10
期刊：
ARTHROPLASTY TODAY
影响因子：
0
作者：
Welling, Sebastian;Smith, Spencer;Yoo, Jung;Philipp, Travis;Mildren, Mark;Kagan, Ryland
通讯作者：
Kagan, Ryland

Are physical activity and sedentary behavior patterns contributing to diabetes and metabolic syndrome simultaneously?

DOI：
10.1002/tsm2.216
发表时间：
2021-03-01
期刊：
TRANSLATIONAL SPORTS MEDICINE
影响因子：
1.2
作者：
Colpitts, Benjamin H.;Smith, Spencer;Senechal, Martin
通讯作者：
Senechal, Martin

Dual CRISPR-Cas9 Cleavage Mediated Gene Excision and Targeted Integration in Yarrowia lipolytica

DOI：
10.1002/biot.201700590
发表时间：
2018-09-01
期刊：
BIOTECHNOLOGY JOURNAL
影响因子：
4.7
作者：
Gao, Difeng;Smith, Spencer;Blenner, Mark
通讯作者：
Blenner, Mark

Long-term transverse imaging of the hippocampus with glass microperiscopes.

DOI：
10.7554/elife.75391
发表时间：
2022-07-01
期刊：
ELIFE
影响因子：
7.7
作者：
Redman, William T.;Wolcott, Nora S.;Montelisciani, Luca;Luna, Gabriel;Marks, Tyler D.;Sit, Kevin K.;Yu, Che-Hang;Smith, Spencer;Goard, Michael J.
通讯作者：
Goard, Michael J.