Using Formal Specification to Validate a Human Resource Information System

Abdullah Mohd. Zin; Rohidah Maskuri

首页> 外文期刊>Malaysian Journal of Computer Science >Using Formal Specification to Validate a Human Resource Information System

【24h】

Using Formal Specification to Validate a Human Resource Information System

机译：使用正式规范来验证人力资源信息系统

获取原文

获取外文期刊封面目录资料

开具论文收录证明 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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.

机译：本文包含对人力资源信息系统的Z规范的分析。目的是展示实施阶段之后形式方法在分析和检测错误中的优势。

著录项

来源
《Malaysian Journal of Computer Science》 |1999年第2期|共页
作者
Abdullah Mohd. Zin; Rohidah Maskuri;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类情报学、情报工作;
关键词

相似文献

外文文献
中文文献
专利

1. Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study [J] . Vidar Sl°atten, Frank Alexander Kraemer, Peter Herrmann ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第3期

机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
2. Qualitative formal method for requirements specification and validation of hybrid real-time safety systems [J] . Lee J.-S., Cha S.-D. IEE Proceedings. Part L . 2000,第1期

机译：混合实时安全系统的需求规格说明和验证的定性形式方法
3. Human Factor of Formal Engineering Methods in Validating Requirement Specification [J] . Advanced Science Letters . 2017,第6期

机译：验证要求规范中正式工程方法的人为因素
4. Formal specification of human-computer interaction by graph grammars under consideration of information resources [C] . Sucrow, B.E. . 1997

机译：考虑信息资源的图文法形式的人机交互形式规范
5. Combining semi-formal and formal notations in software specification: An approach to modelling time-constrained systems. [D] . Dascalu, Sergiu-Mihai. 2001

机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
6. Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks [O] . Muhammad Imran, Nazir Ahmad Zafar 2012

机译：无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
7. Assessing the Role of Formal Specifications in Verification and Validation of Knowledge-Based Systems [O] . Pedro Meseguer, Alun D. Preece 1996

机译：评估形式规范在基于知识的系统的验证和确认中的作用
8. Formal Techniques for Specification and Validation of Tactical Systems [R] . Atkinson, R. H. 1986

机译：战术系统规范和验证的形式技术

Using Formal Specification to Validate a Human Resource Information System

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅