结构化面向对象形式规格说明语言OOZS——类型检查器

作     者：李刚 朱关铭 缪淮扣 

作者机构：中科院软件研究所 

基　　金：国家自然科学基金 上海市高校科技发展基金 

出 版 物：《上海大学学报（自然科学版）》 (Journal of Shanghai University:Natural Science Edition)

年 卷 期：1998年第4卷第5期

页      码：572-578页

摘      要：ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误．本文介绍了ＯＯＺＳ类型检查器的设计与实现．

主 题 词：语法分析 YACC OOZS 类型检查器 软件工程 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203518072...