共 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)