AN INTRODUCTION TO THE SPECIFICATION LANGUAGE SPEC

被引：10

作者：

BERZINS, V

LUQI

机构：

来源：

关键词：

D O I：

10.1109/52.50776

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

[No abstract available]

引用

页码：74 / 84

页数：11

共 10 条

[1]

Agha G., 1987, ACTORS MODEL CONCURR

BERZINS, V ;

GRAY, M .

[3]

BERZINS V, 1986, COMM ACM MAY, P402

[4]

BERZINS V, 1990, HDB COMPUTER AIDED S, P83

[5]

BERZINS V, 1987, NPS5287032 NAV POSTG

[6]

BERZINS V, 1990, SOFTWARE ENG ABSTRAC

[7]

COHEN B, 1986, SPECIFICATION COMPLE

[8] REPORT ON THE LARCH SHARED LANGUAGE [J].

GUTTAG, JV ;

HORNING, JJ .

[9]

HOARE CAR, 1986, PRG33 OXF U COMP LAB

[10]

LUQI V, 1988, IEEE T SOFTWARE OCT, P1409