数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
VDM 和 Z 两种规范描述语言的比较作者：朱玉皆、陈忠民、张乃孝原载：计算机研究与发展，Vol.33，No.11 p816-822，1996.11. 摘要：本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言 VDM 和 Z 的主要区别，对它们的共性和发展史也作了简单介绍。 关键词: VDM，Z，形式方法，规范描述语言 下载：[pdf]
论文著作的详细列表
|
|||