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

Published

1999-12-31

Issue

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

Section

Articles

How to Cite

Using Formal Specification to Validate a Human Resource Information System. (1999). Malaysian Journal of Computer Science, 12(2), 1-9. https://ijps.um.edu.my/index.php/MJCS/article/view/5778

Similar Articles

1-10 of 125

You may also start an advanced similarity search for this article.