-
[文献書誌] Shaoying Liu: "Formal Verification of Condition Data Flow Diegrams for Assurance of correct Network Protocols"Proceeding of International Conference on Advanced Information Networking and Applications, IEEE. March,2003(予定). (2003)
-
[文献書誌] Shaoying Liu: "A Simulation Approach to Verification and Validation of Formal Specifications"Proceedings of First International Conference on Cyber World : Theory and Practice, IEEE. November. 113-120 (2002)
-
[文献書誌] Shaoying Liu: "Capturing Complete and Accurate Requirements my Refinement"Proceeding of 8th IEEE International Conference on Engineering of Complex Computer Systems. December. 57-67 (2002)
-
[文献書誌] Shaoying Liu: "A Rigorous Approach to Reviewing Formal Specifications"Proceeding of 27th IEEE/NASA International Software Engineering workshop. December(予定). (2002)
-
[文献書誌] Shaoying Liu: "Integrating UML and SOFL for Object-Oriented Design"Proceeding of the Third International Conf. on Computer and Information Technology. Sept.. 92-98 (2002)
-
[文献書誌] Shaoying Lin: "An Approach to Transforming Visual Formal Specifications to Java Programs"Proceeding of the Third International Conf. on Computer and Information Technology. Sept.. 116-123 (2002)
-
[文献書誌] Shaoying Liu, Jin Song Dong: "Extending SOFL to Support Both Top-Down and Bottom-up Approaches"Proceeding of 2002 IEEE International Conference on Systems, Man, And Cybernetics. October. WAIQ2 (2002)
-
[文献書誌] Shaoying Liu: "Developing Quality Software Systems using the SOFL Formal Engineering Method"Proceeding of 4th International Conference on Formal Engineeering Methods, LNCS 2495. LNCS2495. 3-19 (2002)
-
[文献書誌] Shaoying Liu: "Formal Engineering Methods for Information Systems Development"Proceeding of Second International Conf. on INFORMATION. July. 148-154 (2002)