ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 3 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
QSIC
2003
IEEE
13 years 10 months ago
2003
IEEE
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...