Investigating the influence of formal methods

被引：38

作者：

Pfleeger, SL ^{[1
]}

Hatton, L ^{[1
]}

机构：

[1] HOWARD UNIV,WASHINGTON,DC 20059

来源：

COMPUTER | 1997年 / 30卷 / 02期

关键词：

D O I：

10.1109/2.566148

中图分类号：

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

学科分类号：

0812 ;

摘要：

Formal methods promise much, but can they deliver? In this project, results are inconclusive, but careful data gathering and analysis helped establish influences on product quality.

引用

页码：33 / &

页数：9