A synergistic interweaving of formal and informal methods

Document Type

Conference paper

Source Publication

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Publication Date


First Page


Last Page



CSP, Formal Methods, Informal Methods, JSD, Method Integration, Structured Methods


In most studies of bridging between informal specifications, formal specifications are transformed from informal specifications after completion of specification of the whole system. Most of these formal specifications are used for rigorous study of the system in question, consistency checking, verification of behavior or support system synthesis. During the process of system specification, the strength of formal and informal methods are not complementing to each other. We identified a new specification approach which makes formal methods and informal methods complement each other to a greater extent. This new method interweaves formal methods with informal methods. We find out that this method leads to better quality of specifications, facilitate better changes management and maintenance. This is particular useful during initial specification of systems which is the first stage of specifying informal world in some formal languages. We report our preliminary findings of this novel approach in this paper and exemplify our approach with an example in JSD and CSP.



Print ISSN


Publisher Statement

Access to external full text or publisher's version may require subscription.

Additional Information

Paper presented at the 27th Annual International Computer Software and Applications Conference, Nov 03-06, 2003, Dallas, Texas.

Full-text Version

Publisher’s Version