Title :
A formal specification constructing tool for SOFL
Author_Institution :
Sch. of Software Eng., Shanghai Jiaotong Univ., China
Abstract :
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.
Keywords :
data flow analysis; formal specification; object-oriented languages; program verification; software architecture; software tools; SOFL specification; data flow diagrams; formal notations; formal specification constructing tool; software architecture; software tool; specification correctness; specification integrity; specification modules; structure object-oriented formal language; Buildings; Flow graphs; Formal languages; Formal specifications; Guidelines; Packaging; Petri nets; Proposals; Software engineering; Software tools;
Conference_Titel :
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN :
0-7695-2284-X
DOI :
10.1109/ICECCS.2005.10
