What We Do Now, Kemosabe?

被引：0

作者：

Cerf, Vinton G. ^{[1
]}

机构：

[1] Google, Mclean, VA 22102 USA

来源：

COMPUTER | 2021年 / 54卷 / 05期

关键词：

D O I：

10.1109/MC.2021.3055674

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Perhaps now is the time to start a campaign to apply more formal methods to software evaluation, especially if they can be automated for analysis and testing.

引用

页码：13 / 14

页数：2