SPECIFICATION ASPECTS OF VDM

被引：3

作者：

ANDREWS, D

机构：

来源：

关键词：

D O I：

10.1016/0950-5849(88)90063-8

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：164 / 176

页数：13

共 21 条

[1] OVERVIEW OF SOFTWARE ENGINEERING [J].

ANDREWS, D .

DATA PROCESSING, 1986, 28 (02) :64-78

[2]

Andrews D., 1982, Formal specification and software development, P175

[3]

BEKIC H, 1974, 25139 IBM LAB TECHN

[4]

BJORNER D, 1977, INT COMPUT S 77, P1

[5]

BJORNER D, 1982, 8TH INT VER LARG DAT

[6]

BJORNER D, 1978, LECTURE NOTES COMPUT, V61

[7]

BJORNER D, 1987, LECTURE NOTES COMPUT

[8]

BJORNER D, 1987, ANNOTATED VDM BIBLIO

[9]

Bjorner D., 1982, FORMAL SPECIFICATION

[10]

BJORNER D, 1980, LECTURE NOTES COMPUT, V98