A formal specification constructing tool for SOFL

The development of powerful software tools that apply and facilitate the use of formal notations and methodologies effectively has been crucial. This paper introduces a new software tool that fully supports the construction of SOFL specifications in a user-friendly manner. With this tool it would be helpful to construct a SOFL specification that consists of condition data flow diagrams and specification modules, as well as take advantage of build in features that improve the correctness and integrity of specifications.