文章基本信息

标题：Using Formal Specification to Validate a Human Resource Information System
作者：Rohidah Maskuri ; Abdullah Mohd. Zin
期刊名称：Malaysian Journal of Computer Science
印刷版ISSN：0127-9084
出版年度：1999
卷号：12
期号：2
出版社：University of Malaya * Faculty of Computer Science and Information Technology
摘要：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.
关键词：Prototyping; Formal Methods; Initialisation Theorems; Preconditions