ON THE INEVITABLE INTERTWINING OF SPECIFICATION AND IMPLEMENTATION

被引：121

作者：

SWARTOUT, W

BALZER, R

机构：

来源：

关键词：

D O I：

10.1145/358557.358572

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：438 / 440

页数：3

共 12 条

[1]

Balzer R., 1976, 2nd International Conference on Software Engineering, P337

[2] TRANSFORMATIONAL IMPLEMENTATION - AN EXAMPLE [J].

BALZER, R .

[3]

BALZER R, 1979, APR P SPEC REL SOFTW, P58

[4]

BALZER RM, 1981, RR7979 USC INF SCI I

[5]

BALZER RM, 1967, FULL JOINT COMPUTER, P535

[6]

Bauer F. L., 1976, 2nd International Conference on Software Engineering, P223

[7]

BURSTALL RM, 1975, APR P INT C REL SOFT, P465

[8]

DIJKSTRA EW, 1972, STRUCTURED PROGRAMMI

[9]

HOMMEL G, 1980, KFKPDV186 KERN FORSC

[10]

KNUTH D, 1974, COMPUTING SURVEYS, V6