The following publications are possibly variants of this publication:
- A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL SpecificationsBusalire Onesmus Emeka, Shaoying Liu. sofl 2020: 13-28 [doi]
- A Software Tool to Support Scenario-Based Formal Specification for Error PreventionSiyuan Li, Shaoying Liu. sofl 2018: 187-199 [doi]
- Automatic Transformation from SOFL Module Specifications to Program StructuresXiongwen Luo, Shaoying Liu. sofl 2016: 206-218 [doi]
- A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional ScenariosShenghua Zhu, Shaoying Liu. sofl 2014: 104-117 [doi]
- Requirements-related fault prevention during the transformation from formal specifications to programsJiandong Li, Shaoying Liu. iet-sen, 17(3):316-332, June 2023. [doi]
- A GUI-Aided Approach to Formal Specification ConstructionShaoying Liu. sofl 2016: 44-56 [doi]
- An Approach to Declaring Data Types for Formal SpecificationsXi Wang, Shaoying Liu. sofl 2014: 135-153 [doi]
- Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in PracticeShaoying Liu, Shin Nakajima. sofl 2014: 3-16 [doi]
- A Case Study of a GUI-Aided Approach to Constructing Formal SpecificationsFumiko Nagoya, Shaoying Liu. sofl 2017: 74-84 [doi]