7 MYTHS OF FORMAL METHODS

被引：197

作者：

HALL, A

机构：

[1] Praxis Systems, 20 Manvers St.

来源：

关键词：

D O I：

10.1109/52.57887

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

[No abstract available]

引用

页码：11 / 19

页数：9

共 10 条

[1]

[Anonymous], 1989, Z NOTATION REFERENCE

[2] FORMAL METHODS APPLIED TO A FLOATING-POINT NUMBER SYSTEM [J].

BARRETT, G .

[3]

Dahl Ole-Johan, 1972, STRUCT PROGRAM, P6

[4]

Earl A. N., 1986, Software Engineering Environments, P202

[5]

Gries David, 1981, SCI PROGRAMMING

[6]

HILL JV, 1990, COMPUTERS SAFETY, P92

[7]

Jones C. B., 1986, SYSTEMATIC SOFTWARE

[8]

MIDDLEBURG CA, 1989, FORMAL ASPECTS C JAN, P115

[9]

NIX C, 1988, QUALITY ASSURANC SEP, P103

[10]

WOODCOCK JCP, 1989, ACM SIGSOFT SOFTWARE, V14, P43