Knowledge-oriented Specification Analysis and Transformation

Shun-Tzu Tsai, Chien-Chiao Yang, Chih-Cheng Lien, Shih-Tsung Chen, Chien-Hao Hsiao. Knowledge-oriented Specification Analysis and Transformation. In SEKE 89, Proceedings of the First International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 15-16, 1989. pages 110-115, Knowledge Systems Institute, 1989.

Abstract

Abstract is missing.