Call for Paper

CAE solicits original research papers for the July 2021 Edition. Last date of manuscript submission is June 30, 2021.

Read More

Evaluation of Formal Method Usage amongst Babcock University Students in Nigeria

F. A. Kasali, Y. A. Adekunle, A. A. Izang, O. Ebiesuwa, O. Otusile. Published in Information Sciences.

Communications on Applied Electronics
Year of Publication: 2016
Publisher: Foundation of Computer Science (FCS), NY, USA
Authors: F. A. Kasali, Y. A. Adekunle, A. A. Izang, O. Ebiesuwa, O. Otusile

F A Kasali, Y A Adekunle, A A Izang, O Ebiesuwa and O Otusile. Evaluation of Formal Method Usage amongst Babcock University Students in Nigeria. Communications on Applied Electronics 5(1):22-27, May 2016. BibTeX

	author = {F. A. Kasali and Y. A. Adekunle and A. A. Izang and O. Ebiesuwa and O. Otusile},
	title = {Evaluation of Formal Method Usage amongst Babcock University Students in Nigeria},
	journal = {Communications on Applied Electronics},
	issue_date = {May 2016},
	volume = {5},
	number = {1},
	month = {May},
	year = {2016},
	issn = {2394-4714},
	pages = {22-27},
	numpages = {6},
	url = {},
	doi = {10.5120/cae2016652192},
	publisher = {Foundation of Computer Science (FCS), NY, USA},
	address = {New York, USA}


The knowledge of Formal Methods involves techniques and tools that are based on mathematics but most students tend to have poor approach in applying these techniques during software systems developmental processes despite all the potentials that using formal methods possess in designing systems that are error free, robust and more reliable. This study was conducted to evaluate formal methods usability among students and to enable them understand how important it is to embrace this technique in building highly reliable systems and for the academia to work more on bridging the gap between research and industries so as to promote the use of formal methods in software engineering companies.

In this paper, the benefits that Formal Methods has to offer in the area of Software Development was explored including present challenges affecting their usability, the present level of awareness and usage amongst students of computer science who have acute interest in software engineering was also evaluated.

The research was done quantitatively using a pilot study of students selected conveniently from Babcock University, Ilisan, Nigeria Computer Science students. A usability evaluation model was used in designing the measuring tool focusing on awareness, learnability, ease of use and willingness to use formal methods in their Research works and they were evaluated using descriptive statistical method. The measuring tool was analyzed using Statistical Package for Social Sciences (SPSS) version 21.0. Reliability test was done and found to be 0.906 which indicated a high internal consistency. The result of the analysis shows that if formal methods is easy to learn, then students will find it easy to use and the willingness to use it for their projects will be there. If they are willing to use it, then learnability and ease of use will also be high. Conclusion and Recommendations were also given at the end of the Research analysis.


  1. Sotiriadou, A., & Kefalis, P (1999). Teaching Formal Methods in Computer Science Undergraduates, Retrieved from
  2. Tucker, A. (1996). Computing Curricula; Report of the ACM/IEEE Computer Science Joint Curricular Task Force
  3. Almeida, J. B., Frade, M. J., Pinto, J. S., Melode, S. (2011). Rigorous Software Development; An introduction to Program Verification, ISBN 978-0-85729-018-2, Pg. 15-44, Retrieved from
  4. Collin, J.B. (1996). The role of formal methods in Software Engineering Education and Industry, Retrieved from
  5. Edmund, M. C., Jeannette, M.W. et al., (1996). Formal Methods; State of the Art and Future Directions, ACM Computing Surveys, Vol. 28, Issue 4, Pg. 623-626
  6. Formal Methods Europe (2015). A guide to FME Sponsorship Version 2.2. Retrieved from www.fmeurope,org/wp-content/uploads/2015
  7. Gibson, J. P. (2008). Weaving a Formal Methods Education with Problem based learning, Conference Paper DOI: 10.1007/978-3-540-88479-8_32, Pg. 460-472, Retrieved from
  8. John, A. (2010). Formal Methods in Software Development: A road less travelled, South African Computer Journal, No 45, Pg. 40
  9. Phillip, A. L. (2014). Requirements Engineering for Software and Systems, Second Edition, Retrieved from
  10. John, C. K., Collen, L. D., Mathew, S. G., Luis, G. N. (1997). Why are formal methods not used more widely? Retrieved from
  11. Chris, N., Tim, R., Fan, Z., Bogdan, M., Marc, B., Micheal, D. (2015). How Amazon Web Services Uses Formal Methods, Communications of the ACM, Vol. 58, No. 4, Pages 66-73
  12. Faheem, S., Farooq, Z., Nabal, S., Nazir, A. Z., (2009). Designing Verifiable and Reusable data access layer using Formal Methods and Design Patterns, International Conference on Computer Modeling and Simulation, Pg. 167-172, doi 10.1109/iccms.2009.83
  13. Nassima, I., Olivier, S. Y. K., Marc, P., Xavier, T. (2010). Use of Formal Methods for Building Qualified Code Generator for Safer Automotive Systems, ACM digital library, ISBN: 978-1-60558-915-2
  14. Lichen, Z., Jifeng, H., Wensheng, Y. (2013). Test Case Generating From Formal Methods of Cyber Physical Systems, International Journal of Hybrid Information Technology, Vol. 6, No. 3
  15. Mohammed, A., Nazir, A. Z., Mohammed, I., Sana, U., Mahmoud, F. (2014). Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Non-Critical Nodes in MAHSNs. International Journal of Distributed Sensor Networks, Article ID 140973,
  16. Dinesh, T. (2015). What is Formal Methods, Advantages and Disadvantages? Retrieved from
  17. Mona, B., Amit, M., Meenu, D. (2013). Formal Methods: Benefits, Challenges and Future Direction, Journal of Global Research in Computer Science, Vol. 4, No. 5 ISSN-2229-371X, Available Online at
  18. Jeremy, G., Jose Nuno, O. (2009): Teaching Formal Methods; Second International Conference, TFM Proceedings, ISSN: 03029743, Retrieved from
  19. Soohyung, J., Suyu, L., & Kun, L. (2011). A Usability Evaluation Model for Academic Library Websites: Efficiency, Effectiveness and Learnability, Journal of Library and Information Studies, Vol. 9, Issue 2, Pg. 11-26
  20. Karima, M., Ali, I., & Alain, A. (2016). Usability evaluation of mobile applications using ISO 9241 and ISO 25062 standards. SpringerPlus 5:548, DOI 10.1186/s40064-016-2171-z
  21. Esraa S., Noureldien, A. N. (2015). Usability Measurement Model (UMM): A New Model for Measuring Websites Usability, International Journal of Information Science 2015, Vol. 5, Issue 1, DOI: 10.5923/j.ijis.20150501.02, Pg. 5-13.


Formal Methods, Software Development, Usability, Software Systems