APPLYING DESIGN BY CONTRACT

被引：810

作者：

MEYER, B ^{[1
]}

机构：

[1] SOC OUTILS LOGICIEL,PARIS,FRANCE

来源：

关键词：

D O I：

10.1109/2.161279

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：40 / 51

页数：12

共 25 条

[1]

Abrial J.R., 1980, CONSTRUCTION PROGRAM

[2]

CRISTIAN F, 1985, TECHNOLOGY SCI I JUL

[3]

Dijkstra EW, 1976, DISCIPLINE PROGRAMMI

[4]

Floyd Robert W., 1967, MATH ASP COMPUT SCI, V19, P1

[5]

Goguen Joseph, 1978, TECHNICAL REPORT RC, VIV, P80

[6]

Gries David, 1981, SCI PROGRAMMING

[7] ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES [J].

GUTTAG, J .

[8]

Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507

[9] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[10]

HOARE CAR, 1969, COMMUN ACM, V12, P583