Malaysian Journal of Computer Science (ISSN 0127-9084)
Indexing Page
Visit the official web site at

Article Information
Title:Using Formal Specification to Validate a Human Resource Information System
Auhtor(s): Rohidah Maskuri ,Abdullah Mohd. Zin ,
Journal:Malaysian Journal of Computer Science (ISSN 0127-9084)
Volume:12, No 2
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.

Volume Listing