期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
A Z Specification for Employment Clerical System
1
作者 Huai-kou Miao teklay tesfay Bizuneh Bekele 《Advances in Manufacturing》 2000年第2期123-127,共5页
Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the development process. This paper presents part of a case study ... Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the development process. This paper presents part of a case study of Z notations, ClericalTemps, which is an agency that provides a clerical help to its clients. 展开更多
关键词 Z specification SCHEMA ClericalTemps
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部