Yong Sun

SOFL: A Formal Engineering Methodology for Industrial Applications

A. Jefferson Offutt, Mitsuru Ohba, Shaoying Liu, 1998, IEEE Trans. Software Eng..

Structured methodology+object-oriented methodology+formal methods: methodology of SOFL

Shaoying Liu, Yong Sun, Shaoying Liu, 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach

Hongji Yang, Yong Sun, Yong Sun, 1997, IWFM.

Self-independent Petri Nets for Distributed Systems

Shaoying Liu, Yong Sun, Mitsuru Ohba, 1997, FORTE.

Communication mechanism independent protocol specification based on CSP: a case study

Hongji Yang, Yong Sun, Yong Sun, 1996, Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.

Term Rewriting and Hoare Logic- Coded Rewriting

Yong Sun, Yong Sun, 1996, Inf. Process. Lett..