|
|||||
|
|
| 结构化面向对象形态规格说明语言OOZS：类型检查器 | |
| 作者姓名： | 李刚 朱关铭 |
| 作者单位： | [1]计算机工程与科学学院 [2]中科院软件研究所 |
| 摘 要： | ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误，本文介绍了ＯＯＺＳ类型检查器的设计与实现。 |
| 关 键 词： | 语法分析 YACC OOZS 类型检查器 软件工程 |
| 本文献已被 维普 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |