TOWARDS A FORMAL BASIS FOR THE FORMAL DEVELOPMENT METHOD AND THE INA JO SPECIFICATION LANGUAGE

被引：6

作者：

BERRY, DM ^{[1
]}

机构：

[1] UNIV CALIF LOS ANGELES,DEPT COMP SCI,LOS ANGELES,CA 90024

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1987年 / 13卷 / 02期

关键词：

D O I：

10.1109/TSE.1987.232891

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：184 / 201

页数：18

相关论文

共 11 条

[1]

BERRY DM, 1986, SP4361 SYST DEV CORP

[2]

BERRY DM, 1981, APPLICATION FORMAL D

[3]

BERRY DM, 1986, SP4359 SYST DEV CORP

[4]

CHEHEYL MH, 1981, ACM COMPUT SURV, V13, P279

[5]

EGGERT PR, 1980, SP4082 SYST DEV CORP

[6]

Gordon M., 1979, DENOTATIONAL DESCRIP

[7]

LUCAS P, 1969, ANN REV AUTOMAT PROG, V6

[8]

NIXON M, 1986, SP4360 SYST DEV CORP

[9]

SCHEID J, 1986, TM752701600 SYST DEV

[10]

SCHEID J, 1986, TML602100102 SYST DE