Using Formal Specification to Validate a Human Resource Information System

Article Sidebar

FULL TEXT
Published: Dec 31, 1999
Keywords:
Prototyping Formal Methods Initialisation Theorems Preconditions

Main Article Content

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

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://jpmm.um.edu.my/index.php/MJCS/article/view/5778
Issue
Vol. 12 No. 2 (1999): Malaysian Journal of Computer Science
Section
Articles