Keywords:Formal Methods, Commercial Applications, Issues of Formal Methodsįormal languages are the languages in which syntax and semantics are properly defined by using mathematical notations. In this paper we have identified issues in use of formal methods for commercial applications and devised strategies to overcome these difficulties which will provide motivations to use formal methods for commercial applications. The purpose of this research is to promote formal methods for commercial software industry. In spite of their recognition in academic world and these claimed advantages, formal methods are still not widely used by commercial software industry. The benefits include faults found in earlier stage of software development, automating, checking the certain properties and minimizing rework. It was advocated that in 21st century, most of software will be developed with benefits of formal methods. Received 28 April 2014 revised accepted 20 June 2014 This work is licensed under the Creative Commons Attribution International License (CC BY). UIIT-PMAS Arid Agriculture University, Rawalpindi, PakistanĮmail: © 2014 by authors and Scientific Research Publishing Inc.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |