DATA REFINEMENT BY MIRACLES

被引：30

作者：

MORGAN, CC

机构：

来源：

INFORMATION PROCESSING LETTERS | 1988年 / 26卷 / 05期

关键词：

D O I：

10.1016/0020-0190(88)90147-0

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：243 / 246

页数：4

相关论文

共 12 条

[1]

ABRIAL JR, 1987, GENERALISED SUBSTITU

[2]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[3]

GRIES D, 1985, P S LANG ISS PROGR E, P131

[4]

Gries David, 1981, SCI PROGRAMMING

[5]

HE JF, 1986, DATA REFINEMENT REFI

[6] PRESPECIFICATION IN DATA REFINEMENT [J].

HOARE, CAR ;

HE, J ;

SANDERS, JW .

INFORMATION PROCESSING LETTERS, 1987, 25 (02) :71-76

[7]

JONES CB, 1986, SYSTEMATIC SOFTWARE

[8]

MORGAN C, UNPUB SPECIFICATION

[9]

MORGAN CC, 1987, IN PRESS IBM J RES D, V31

[10]

MORRIS JM, UNPUB SCI COMPUT PRO