The following publications are possibly variants of this publication:
- Development of a Software Tool to Support Traceability-Based Inspection of SOFL SpecificationsJinghua Zhang, Shaoying Liu. sofl 2015: 32-46 [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]
- A Software Tool to Support Scenario-Based Formal Specification for Error PreventionSiyuan Li, Shaoying Liu. sofl 2018: 187-199 [doi]
- A Software Tool to Support the "Vibration" MethodPan Zhao, Shaoying Liu. sofl 2018: 171-186 [doi]
- Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software ModelingWeikai Miao, Shaoying Liu. sofl 2014: 89-103 [doi]
- Applying SOFL to Constructing a Smart Traffic Light SpecificationWahyu Eko Sulistiono, Shaoying Liu. sofl 2014: 166-174 [doi]
- Automatic Transformation from SOFL Module Specifications to Program StructuresXiongwen Luo, Shaoying Liu. sofl 2016: 206-218 [doi]
- 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]
- Adopting Variable Dependency in Animation for Presenting the Behaviour of ProcessMo Li, Shaoying Liu. sofl 2015: 81-93 [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]