News Updates Monday 16th Jul 2018 :
  • 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 July/Aug 2018 extended to 20 July 2018, Submit online or at editor.ijcet@inpressco.com
  • 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
Abstract

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- July/Aug 2018 Issue

    Submission Last Date
    20 July
  2. DOI is given to all articles
  3. Current Issue
  4. IJTT-Sept-2018
  5. IJAIE-Sept-2018
  6. IJCSB-Sept-2018
  • 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