Using Formal Specification to Validate a Human Resource Information System

Main Article Content

Rohidah Maskuri
Abdullah Mohd. Zin

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://mjcs.um.edu.my/index.php/MJCS/article/view/5778
Section
Articles