Research ArticleOpen AccessGoogle Scholar indexed
Formal Methods for Commercial Applications Issues vs. Solutions
UIIT-PMAS Arid Agriculture University, Rawalpindi, Pakistan
UIIT-PMAS Arid Agriculture University, Rawalpindi, Pakistan
UIIT-PMAS Arid Agriculture University, Rawalpindi, Pakistan
UIIT-PMAS Arid Agriculture University, Rawalpindi, Pakistan
- 1 UIIT-PMAS Arid Agriculture University, Rawalpindi, Pakistan
- 2 UIIT-PMAS Arid Agriculture University, Rawalpindi, Pakistan
- 3 UIIT-PMAS Arid Agriculture University, Rawalpindi, Pakistan
- 4 UIIT-PMAS Arid Agriculture University, Rawalpindi, Pakistan
Journal of Software Engineering and Applications·Volume 07 (2014)·Pages 679–685·Published 7 July 2014·DOI10.4236/jsea.2014.78062
Copy link · social · email
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.
KeywordsFormal MethodsCommercial ApplicationsIssues of Formal Methods
- Sammi, R., Rubab, I. and Qureshi, M.A. (2010) Formal Specification Languages for Real-Time Systems. 2010 International Symposium in Information Technology (ITSim), Kuala Lumpur, 15-17 June 2010, 1642-1647. http://dx.doi.org/10.1109/ITSIM.2010.5561643
- Woodcock, J.I.M. and Bicarregui, J. (2009) Formal Methods: Practice and Experience Engineering College of Aarhus. ACM Computing Surveys, 41, 1-40.
- Geer, P.A. (2011) Formal Methods in Practice: Analysis and Application of Formal Modeling to Information System.
- Bowen, J.P. and Hinchey, M.G. (2006) Ten Commandments of Formal Methods... Ten Years Later. Computer, 39, 40-48.
- Sommerville, L. (2009) Chapter 27 Formal Specification.
- Stidolph, D.C. and Whitehead, J. (2003) Managerial Issues for the Consideration and Use of Formal Methods. Lecture Notes in Computer Science, 2805, 170-186.
- Schiller, T.W. and Ernst, M.D. (2012) Reducing the Barriers to Writing Verified Specifications. ACM SIGPLAN Notices, 47, 95-112.
- Fulara, J. and Jakubczyk, K. (2010) Practically Applicable Formal Methods. Lecture Notes in Computer Science, 5901, 407-418.
- Stidolph, D.C. (2003) When Should Formal Methods Be Used?
- Jhala, R. and Majumdar, R. (2009) Software Model Checking. ACM Computing Surveys, 41, 1-54. http://dx.doi.org/10.1145/1592434.1592438
- Kefalas, P., Eleftherakis, G. and Sotiriadou, A. (2003) Developing Tools for Formal Methods.
- Bowen, J.P. and Hinchey, M.G. (1994) Seven More Myths of Formal Methods?: Dispelling Industrial Prejudices. Lecture Notes in Computer Science, 873, 105-117.
- Knight, J.C., Dejong, C.L., Gibble, M.S. and Nakano, L.G. (1998) Why Are Formal Methods Not Used More Widely?
- 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.
- Singh, M. (2013) Formal Methods: A Complementary Support for Testing. International Journal of Advanced Research in Computer Science and Software Engineering, 3, 320-322.
- Cofer, D., Whalen, M. and Miller, S. (2008) Model-Based Development. 1-8.
- Whalen, M., Cofer, D., Miller, S., Krogh, B.H. and Storm, W. (2008) Integration of Formal Analysis into a Model-Based Software Development Process. Lecture Notes in Computer Science, 4916, 68-84.