THE APPLICATION OF FORMAL METHODS TO THE ASSESSMENT OF HIGH INTEGRITY SOFTWARE

被引：11

作者：

BLOOMFIELD, RE

FROOME, PKD

机构：

来源：

关键词：

D O I：

10.1109/TSE.1986.6313053

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：988 / 993

页数：6

共 16 条

[1]

BARNES M, 1985, OCT P SAFECOMP85

[2]

BEKIC H, 1974, IBM TR25139

[3]

Bjorner D., 1982, FORMAL SPECIFICATION

[4]

Church A., 1941, ANN MATH STUDIES

[5]

CLEMMENSEN GB, 1983, FORMAL SPECIFICATION

[6]

Clocksin W. F., 1981, PROGRAMMING PROLOG

[7] THE RIGOROUS DEVELOPMENT OF A SYSTEM VERSION CONTROL PROGRAM [J].

COTTAM, ID .

[8]

ENGLAND DM, 1979, MICROSIM PROGRAM DEV

[9]

FISCHOFF B, PTR1077791 OFF NAV R

[10]

HOARE CAR, 1981, PRG22 OXF U PROGR RE