SOFL

Publications

volume 7787, 2013

Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers SOFL 7787 (2013)

2012

Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang
Model Checking C Programs with MSVL. SOFL (2012)
Weikai Miao, Shaoying Liu
A Formal Specification-Based Integration Testing Approach. SOFL (2012)
Xi Wang, Shaoying Liu
Development of a Supporting Tool for Formalizing Software Requirements. SOFL (2012)
Yisheng Wang, Haopeng Chen
Extension on Transactional Remote Services in SOFL. SOFL (2012)
Fumiko Nagoya, Tetsuo Kitagawa
An Application of SOFL for Rapid Prototyping. SOFL (2012)
Mo Li, Shaoying Liu
Design and Implementation of a Tool for Specifying Specification in SOFL. SOFL (2012)
Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis
Applying SOFL to a Generic Insulin Pump Software Design. SOFL (2012)
Cong Tian, Shaoying Liu, Zhenhua Duan
Abstract Model Checking with SOFL Hierarchy. SOFL (2012)
Weihang Zhang, Shaoying Liu
Supporting Tool for Automatic Specification-Based Test Case Generation. SOFL (2012)
Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. SOFL (2012)