Journals Proceedings

Abstract

There have been numerous studies on formal methods but yet there is diminutive utilization of formal methods in the commercial world. This can be attributed to many factors such as that few specialists know how to use Formal Methods (FMs) and also the use of mathematical notation gives a perception that formal methods are hard. FMs have been used in the software development world since 1940 during the earliest stage of computer development. To date there is a slow adoption of FMs and they are used mostly in mission critical projects such as in the military and aviation. In this paper we focus on how to increase the pace of FMs adoption in the commercial world. As part of this work a framework is established to facilitate the use of FMs in the commercial world or commercial systems. A mini ERP system specification is presented in both an informal technique and a formal notation to demonstrate how a formal specification can be derived from informal specification guided by the Enhanced Established Strategy for formal specification.