.png){kind=icon}
返回
Righting software
.png){kind=icon}
PRE
AI
DOI：10.1109/MS.2004.1293079.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Correctness tools can improve software-development by supplementing human shortcomings-detecting programming errors such as null-pointer references, API usage errors, and failing to close file descriptors. Microsoft Research has developed two generations of correctness tools. Together, these tools offer a systematic approach for finding and fixing errors early in the development process.
期刊
IF:
3
论文数:
3.2K
被引数:
3.6K
机构
暂无机构信息
引用论文
High-resolution solid state 13C n.m.r. study of the interpolymer interaction, morphology and chain dynamics of the poly(acrylic acid)/poly(ethylene oxide) complex.png)
Polymer
PolymerIF0
PREAI
分享收藏
分享收藏 没有更多内容
没有更多内容