APPLYING DESIGN BY CONTRACT

被引：810

作者：

MEYER, B ^{[1
]}

机构：

[1] SOC OUTILS LOGICIEL,PARIS,FRANCE

来源：

COMPUTER | 1992年 / 25卷 / 10期

关键词：

D O I：

10.1109/2.161279

中图分类号：

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

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

收藏

页码：40 / 51

页数：12

相关论文

共 25 条

[21]

Meyer B., 1991, ADV OBJECT ORIENTED, P1

[22]

MILLS H, 1987, PRINCIPLES COMPUTER

[23]

POTTER J, 1991, TOOLS, V6, P183

[24]

Randell B., 1975, IEEE T SOFTWARE ENG, VSE-1, P220, DOI DOI 10.1109/TSE.1975.6312842

[25]

Shaw M, 1981, ALPHARD FORM CONTENT