-
[文献書誌] Sirin Bekbay, Shaoying Liu: "A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL"Third International Conference on Quality Software (QSIC2003), IEEE Computer Society Press, Dallas, Texas, USA. November 6-7. 100-107 (2003)
-
[文献書誌] Jeff Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann: "Generating Test Data from State-Based Specifications"Journal of Software Testing, Verification and Reliability, John Wiley & Sons, Ltd. No.13. 25-53 (2003)
-
[文献書誌] Shaoying Liu: "An Approach to Transforming Visual Formal Specifications to Java Programs (extended version)"The Journal of Three Dimensional Images. 17・1. 121-128 (2003)
-
[文献書誌] Shaoying Liu: "Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specifications"Proceedings of Asia-Pacific Software Engineering Conference (APSEC03), IEEE Computer Society Press. December 10-12. 510-519 (2003)
-
[文献書誌] Shaoying Liu: "A Property-Based Approach to Reviewing Formal Specifications for Consistency"Proceedings of 16th International Conference on Software & Systems Engineering and Their Applications, Paris, France. December 2-4. 1/6-6/6 (2003)
-
[文献書誌] Wuwei She, Shaoying Liu: "Formalization, Testing and Execution of a Use Case Diagram"5th International Conference on Formal Engineering Methods (ICFEM2003), LNCS, Springer-Verlag, Singapore. November 5-7. 68-85 (2003)
-
[文献書誌] Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu: "The Availability Semantics of Predicate Data Flow Diagrams"Second International Workshop on Grid and Cooperative Computing (GCC2003), LNCS, Springer-Verlag, China. December 7-10. 1426-1433 (2003)
-
[文献書誌] Yuting Chen, Shaoying Liu: "SOFL Specification-Based Testing (short paper)"Proceedings of 10th Workshop on Foundation of Software Engineering (FOSE 2003) Wakayama Prefecture. November 13-15. 129-132 (2003)
-
[文献書誌] Shaoying Liu: "Formal Engineering for Industrial Software Development using the SOFL Method"Springer-Verlag. 428 (2004)