The following publications are possibly variants of this publication:
- A Case Study of a GUI-Aided Approach to Constructing Formal SpecificationsFumiko Nagoya, Shaoying Liu. sofl 2017: 74-84 [doi]
- SOFL Specification Animation with Tool SupportMo Li, Shaoying Liu. sofl 2014: 118-131 [doi]
- Applying SOFL to a Railway Interlocking System in IndustryJuan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou. sofl 2017: 160-177 [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]
- 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 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]
- An Investigation of Integrating a GUI-Aided Approach and a Specification-Based TestingFumiko Nagoya, Shaoying Liu. sofl 2018: 24-35 [doi]