Specification as a Design Base (Extended Abstract)

Cliff B. Jones. Specification as a Design Base (Extended Abstract). In A. J. W. Duijvestijn, Peter C. Lockemann, editors, Trends in Information Processing Systems, 3rd Conference of the European Cooperation in Informatics, Munich, Germany, October 20-22, 1981, Proceedings. Volume 123 of Lecture Notes in Computer Science, pages 103-105, Springer, 1981.

Abstract

Abstract is missing.