VDM和Z两种规范描述语言的比较  

THE CONTRASTS BETWEEN VDM AND Z

作　　者：朱玉 陈忠民 张乃孝[1] 

机构地区：[1]湖州师范专科学校,北京大学计算机系

出　　处：《计算机研究与发展》1996年第11期816-822,共7页Journal of Computer Research and Development

基　　金：国家自然科学基金

摘　　要：本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。in this paper, the contrasts between VDM and Z are presented by means of a relative database specification. The main features of these specification languages are discussed in detail.

关 键 词：VDM规范 规范描述语言 Z规范 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]