|
|||||
|
|
| 一种面向对象的形式化规范说明技术 | |
| 引用本文： | 施小英,林轶杰.一种面向对象的形式化规范说明技术[J].上海交通大学学报,1996(6). |
| 作者姓名： | 施小英 林轶杰 |
| 摘 要： | 介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明． |
| 关 键 词： | 面向对象 形式化规范说明 VDM＋＋ 绘图系统 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |