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.

@inproceedings{TsaiYLCH89,
  title = {Knowledge-oriented Specification Analysis and Transformation},
  author = {Shun-Tzu Tsai and Chien-Chiao Yang and Chih-Cheng Lien and Shih-Tsung Chen and Chien-Hao Hsiao},
  year = {1989},
  tags = {analysis, transformation},
  researchr = {https://researchr.org/publication/TsaiYLCH89},
  cites = {0},
  citedby = {0},
  pages = {110-115},
  booktitle = {SEKE 89, Proceedings of the First International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 15-16, 1989},
  publisher = {Knowledge Systems Institute},
}