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.
Volume/Issue: Vol.1 - Issue 4 (June- 2012)
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.
Number of Citations for this article: Data not Available
7 Paper(s) Found related to your topic: