Using Formal Specification to Validate a Human Resource Information System
Main Article Content
Abstract
This paper contains the analysis of the Z specification of a human resource information system. It aims to show the strength of the formal methods in analysing and detecting errors after the implementation phase.
Downloads
Download data is not yet available.
Article Details
How to Cite
Maskuri, R., & Mohd. Zin, A. (1999). Using Formal Specification to Validate a Human Resource Information System. Malaysian Journal of Computer Science, 12(2), 1–9. Retrieved from https://ejournal.um.edu.my/index.php/MJCS/article/view/5778
Section
Articles