News Updates Saturday 23rd Feb 2019 :
  • Welcome to INPRESSCO, world's leading publishers, We have served more than 10000+ authors
  • Articles are invited in engineering, science, technology, management, industrial engg, biotechnology etc.
  • Paper submission last date of Jan/Feb 2019 is 23 Feb 2019, Submit online or at
  • Our journals are indexed in NAAS, University of Regensburg Germany, Google Scholar, Cross Ref etc.
  • DOI is given to all articles

Comparative Analysis of Formal Specification Languages Z, VDM and B

Author : Tulika Pandey and Saurabh Srivastava

Pages : 2086-2091
Download PDF

This paper focuses on comparison on formal specification languages and chooses the appropriate one for a particular problem. Formal specification is a better way to identifying specification errors and describing specification in unambiguous ways. Formal specification is a specification written in a formal language where a formal language is either based on rigorous mathematical model or simply on standardized programming or specification language. Formal specification language expressed the specification in a language whose vocabulary syntax and semantic are properly defined. Formal specification language provides mathematical representation of the system. In this paper I will introduce three formal specification languages such as Z, VDM, and B and perform comparison among to them.

Keywords: Formal Methods, Formal Specification, Formal Specification Languages, Schema.

Article published in International Journal of Current Engineering and Technology, Vol.5, No.3 (June-2015)


Call for Papers
  1. IJCET- Jan/Feb 2019 Issue

    Submission Last Date
    23 Feb
  2. DOI is given to all articles
  3. Current Issue
  4. IJTT-March-2019
  5. IJAIE-March-2019
  6. IJCSB-March-2019
  • Inpressco Google Scholar
  • Inpressco Science Central
  • Inpressco Global impact factor
  • Inpressco aap

International Press corporation is licensed under a Creative Commons Attribution-Non Commercial NoDerivs 3.0 Unported License
©2010-2018 INPRESSCO® All Rights Reserved