By Topic

A formal specification constructing tool for SOFL

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Xiang Xue ; Sch. of Software Eng., Shanghai Jiaotong Univ., China

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.

Published in:

Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on

Date of Conference:

16-20 June 2005