Comparison of the Formal Specification Languages Based Upon Various Parameters

This paper focus on various Formal method and Formal specification languages and choosing the appropriate one for a particular problem. It describes how a particular specification language is used for a specific problem. A comparison of different formal specification languages is done taking various parameters.

[1]  Ann Q. Gates,et al.  Languages for the specification of software , 1996, J. Syst. Softw..

[2]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[3]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[4]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.