REUSING AND INTERCONNECTING SOFTWARE COMPONENTS

被引：23

作者：

GOGUEN, JA

机构：

[1] SRI Int, Menlo Park, CA, USA, SRI Int, Menlo Park, CA, USA

来源：

关键词：

D O I：

10.1109/MC.1986.1663146

中图分类号：

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

学科分类号：

0812 ;

摘要：

COMPUTER SOFTWARE

引用

页码：16 / 28

页数：13

共 42 条

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

BALZER, R .

[2]

BURSTALL R, 1984, LECT NOTES COMPUT SC, V173, P1

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

BURSTALL, RM ;

DARLINGTON, J .

[4]

BURSTALL RM, 1977, 5TH P INT JOINT C AR, P1045

[5]

BURSTALL RM, 1980, APR P INT S PROGR PA

[6]

Burstall Rod M., 1980, LECTURE NOTES COMPUT, V86, P292

[7]

Buxton J. N., 1981, Software Engineering Environments. Proceedings of the Symposium on Software Engineering Environments, P319

[8] REUSABILITY THROUGH PROGRAM TRANSFORMATIONS [J].

CHEATHAM, TE .

[9]

COHEN B, 1983, CRITICAL APPRAISAL F

[10]

COOPRIDER L, 1979, THESIS CARNEGIE MELL