Description Logic Representation for Requirement Specification

Yingzhou Zhang, Weifeng Zhang. Description Logic Representation for Requirement Specification. In Yong Shi, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot, editors, Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II. Volume 4488 of Lecture Notes in Computer Science, pages 1147-1154, Springer, 2007. [doi]

Authors

Yingzhou Zhang

This author has not been identified. Look up 'Yingzhou Zhang' in Google

Weifeng Zhang

This author has not been identified. Look up 'Weifeng Zhang' in Google