7 MORE MYTHS OF FORMAL METHODS

被引：94

作者：

BOWEN, JP ^{[1
]}

HINCHEY, MG ^{[1
]}

机构：

[1] UNIV CAMBRIDGE,COMP LAB,CAMBRIDGE CB2 3QG,ENGLAND

来源：

IEEE SOFTWARE | 1995年 / 12卷 / 04期

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1109/52.391826

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

New myths about formal methods are gaining tacit acceptance both outside and inside the system-development community. The authors address and dispel these myths based on their observations of industrial projects.

引用

页码：34 / 41

页数：8