FORMAL METHODS ADAPTATION IN PAKISTAN’S SOFTWARE INDUSTRY
Abstract
This study has been done to understand the current usage pattern of formal methods in the software industry of Pakistan. The objectives of the study was to ascertain if organizations are using formal methods, what kinds of organizations are using them and what are the challenges associated with their usage. The study is exploratory as very limited literature on formal methods in Pakistan is available. The study employs literature reviews to understand the global trends in formal methods. As per the primary research, there is currently no organizations or projects utilizing formal methods in Pakistan. Key inhibitors in the adaptation of formal methods are also explored and highlighted through the study. As a conclusion to the study, a set of recommendations are delivered for promoting the use of formal methods in Pakistan focusing on regulatory support, academic development and methods to promote the usage in public and private sectorReferences
V. George and R. Vaughn, The Journal of
Defense Software Engineering 16, No. 1
(2003) 30.
A. Ghose. Formal methods for requirements
engineering. International Symposium on
Multimedia Software Engineering (ISMSE
, Taipei, Taiwan, 11-13 December
(2000).
J. Woodcock, P.G. Larson, J. Bicarregui and
J. Fitzgerald, ACM Computing Surveys 41,
No. 4 (2009) 1.
Anthony Hall, Journal of Universal Computer
Science 13, No. 5 (2007) 669.
E. M. Clarke et al., ACM Computing Surveys
, No. 4 (1996) 626.
J.P. Bowen and M. G. Hinchey, Ten
Commandments of Formal Methods… Ten
Years Later, IEEE Computer Society,
(January 2006) p. 40-48.
J.P. Bowen and M.G. Hinchey, IEEE
Software, 12, No. 4 (1995) 34.