Article citationsMore>>

Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., et al. (2002) Using Formal Specifications to Support Testing. ACM Computing Surveys, 41, Article No. 9.

has been cited by the following article:

• TITLE: Formal Methods for Commercial Applications Issues vs. Solutions

  AUTHORS: Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

  KEYWORDS: Formal Methods, Commercial Applications, Issues of Formal Methods

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.7 No.8, July 22, 2014

  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.