Using Formal Specification to Validate a Human Resource Information System

Authors

  • Rohidah Maskuri Sepang Institute of Technology
  • Abdullah Mohd. Zin Faculty Technology and Information Science, Universiti Kebangsaan Malaysia

Keywords:

Prototyping, Formal Methods, Initialisation Theorems, Preconditions

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.

Downloads

Published

1999-12-31

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

Issue

Vol. 12 No. 2 (1999): Malaysian Journal of Computer Science

Section

Articles