共 10 条
[1]
Enderin L., pp. 10-223A, (1974)
[2]
Liskov B.H., An Introduction to CLU, (1976)
[3]
Geschke C.M., Morris J.H., Satterthwaite E.H., Early experience with Mesa, Communications of the ACM, 20, pp. 8-553, (1977)
[4]
Zelkowitz M.V., Larsen H.J., Implementation of a capability‐based data abstraction, IEEE Transactions on Software Engineering, 4, pp. 1-64, (1978)
[5]
Wulf W.A., Comments in panel session, Software Engineering Notes, 2, pp. 3-17, (1977)
[6]
Wulf W.A., London R.L., Shaw M., An introduction to the construction and verification of Alphard programs, IEEE Transactions on Software Engineering, 2, pp. 4-265, (1976)
[7]
Basili V.R., pp. 6-12, (1976)
[8]
Gannon J.D., Rosenberg J., pp. 55-63, (1978)
[9]
Shaw M., Hilfinger P., Wulf W.A., TARTAN—language design for the Ironman requirement: reference manual, SIGPLAN Notices, 13, pp. 9-58, (1978)
[10]
Moss J.E.B., (1978)