An Overview of the Adoption of Formal Methods in Software Engineering in Nigeria
Published 2024-03-08
Keywords
- Formal Methods,
- Software Engineering,
- Nigeria,
- Adoption
How to Cite
Copyright (c) 2024 Scholarly Journal of Science and Technology Research and Development
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
How to Cite
Abstract
Despite the prominence of formal method in academic research over the years, formal method is still in a state of obscurity in the industrial sector. The reasons range from difficult mathematical bases, inadequate tools, incompatibility with other software and rigor in training users. In Nigeria the situation is even worse as the use of Formal Methods can barely be found in most sectors. The paper is set out to x-ray Formal Methods, its benefit and level of adoption especially in software engineering in Nigeria industrial sector.