| VDM和Z两种规范描述语言的比较 |
| |
| 引用本文： | 陈忠民. VDM和Z两种规范描述语言的比较[J]. 计算机研究与发展, 1996, 33(11): 816-822 |
| |
| 作者姓名： | 陈忠民 |
| |
| 作者单位： | 北京大学计算机系 |
| |
| 摘 要： | 本文以以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。
|
| 关 键 词： | VDM规范 规范描述语言 Z规范 程序语言 |
THE CONTRASTS BETWEEN VDM AND Z |
| |
| Zhu Yujie. THE CONTRASTS BETWEEN VDM AND Z[J]. Journal of Computer Research and Development, 1996, 33(11): 816-822 |
| |
| Authors: | Zhu Yujie |
| |
| Abstract: | 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. |
| |
| Keywords: | VDM Z formal methods specification languages. |
| 本文献已被 CNKI 维普 等数据库收录！ |
