Journal of Software Engineering and Applications
Volume 7, Issue 8 (July 2014)
ISSN Print: 1945-3116 ISSN Online: 1945-3124
Google-based Impact Factor: 1.22 Citations h5-index & Ranking
Formal Methods for Commercial Applications Issues vs. Solutions ()
Affiliation(s)
ABSTRACT
It was advocated that in 21st century, most of software will be developed with benefits of formal methods. The benefits include faults found in earlier stage of software development, automating, checking the certain properties and minimizing rework. In spite of their recognition in academic world and these claimed advantages, formal methods are still not widely used by commercial software industry. The purpose of this research is to promote formal methods for commercial software industry. 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.
KEYWORDS
Share and Cite:
Cited by
Copyright © 2024 by authors and Scientific Research Publishing Inc.
This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.