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