Sciweavers

ISSE
2010
13 years 11 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
QSIC
2003
IEEE
14 years 5 months ago
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
Sirin Bekbay, Shaoying Liu