Ray-Yuan Sheu

Knowledge-based transformation of logic-based requirements specifications

Ray-Yuan Sheu, 1992 .

A framework of a logic-based transformation system

Bing Li, Jeffrey J. P. Tsai, Ray-Yuan Sheu, 1992, [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference.

A Distributed Cooperative Agents Architecture for Software Development

Jeffrey J. P. Tsai, Ray-Yuan Sheu, J. Tsai, 1991, The Next Generation of Information Systems.

A knowledge-based system for Ada® software development

Jeffrey J. P. Tsai, Ray-Yuan Sheu, J. Tsai, 1991, J. Syst. Integr..