Author:
Luo Xiongwen,Liu Shaoying
Publisher
Springer International Publishing
Reference13 articles.
1. Liu, S., Chen, Y., Nagoya, F., McDermid, J.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 38(5), 1100–1122 (2012)
2. Mosses, P.D.: VDM semantics of programming language: combinators and monads. Formal Aspects Comput. 23, 221–238 (2011)
3. Liu, S.: Formal Engineering for Industrial Software Development: Using the SOFL Method. Springer, Heidelberg (2004). ISBN 3-540-20602-7
4. Liu, S.: An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations Syst. Softw. Eng. 6(1), 137–143 (2009). Springer
5. Zainuddin, F.B., Liu, S.: An approach to low-fidelity prototyping based on SOFL informal specification. In: IEEE APSEC (2012), ISSN: 1530-1362/12