IJERT-EMS
IJERT-EMS

Analysis of Three Formal Methods-Z, B and VDM


Analysis of Three Formal Methods-Z, B and VDM
Authors : Dr.(Mrs.) Arvinder Kaur, Ms.Samridhi Gulati, Ms. Sarita Singh
Publication Date: 01-07-2012

Authors

Author(s):  Dr.(Mrs.) Arvinder Kaur, Ms.Samridhi Gulati, Ms. Sarita Singh

Published in:   International Journal of Engineering Research & Technology

License:  This work is licensed under a Creative Commons Attribution 4.0 International License.

Website: www.ijert.org

Volume/Issue:   Vol.1 - Issue 4 (June- 2012)

e-ISSN:   2278-0181

Abstract

Formal methods provide a much needed solid software engineering foundation for the °∆art°« of programming computers. Formal specifications can be used to provide an unambiguous and consistent supplement to natural language descriptions and can be rigorously validated and verified leading to the early detection of specification errors. Most of the software is delivered with some bugs, with lack of complete functionality and sometimes with cost overrun. Formal methods can be a silver bullet for software industry for solving these problems. This paper compares and contrasts the strengths and weaknesses of the model oriented formal specification languages such as Z, B and Vienna Development Method (VDM) basis of various factors.

Citations

Number of Citations for this article:  Data not Available

Keywords

Key Word(s):    

Downloads

Number of Downloads:     2389
Similar-Paper

Call for Papers - May - 2017

        

 

                 Call for Thesis - 2017 

     Publish your Ph.D/Master's Thesis Online

              Publish Ph.D Master Thesis Online as Book