AN EXPANSIVE VIEW OF REUSABLE SOFTWARE

被引：28

作者：

HOROWITZ, E ^{[1
]}

MUNSON, JB ^{[1
]}

机构：

[1] SYST DEV CORP,CAMARILLO,CA 93010

来源：

关键词：

D O I：

10.1109/TSE.1984.5010270

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：477 / 487

页数：11

共 33 条

[1] SYNTACTIC SOURCE TO SOURCE TRANSFORMS AND PROGRAM MANIPULATION [J].

ARSAC, JJ .

[2] INFORMALITY IN PROGRAM SPECIFICATIONS [J].

BALZER, R ;

GOLDMAN, N ;

WILE, D .

[3]

Balzer R., 1979, Proceedings of Specifications of Reliable Software, P58

[4]

BALZER R, 1973, 3RD INT JOINT C ART, P494

[5]

BALZER RM, 1981, USCISI ISIRR7979 TEC

[6]

BALZER RM, 1976, 2ND P INT C SOFTW EN, P58

[7]

Belady L.A, 1979, RES DIRECTIONS SOFTW

[8]

Biermann A. W., 1976, Advances in computers, vol.15, P1

[9] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

[10]

COOPRIDER L, 1981, META PROGRAMMING