面向对象的规范描述及转换
作者机构：武汉大学软件工程研究所
出 版 物：《计算机科学》 (Computer Science)
年 卷 期：1990年第17卷第1期
页 面：33-37页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家863计划资助
摘 要：本文基于抽象数据类型提出了一种规范描述语言,该语言以多相代数作为其数学模型,并引入类型继承机制,体现了面向对象的程序设计思想。最后,探讨了关于这种语言的规范描述到面向对象程序设计环境的自动转换。
维普期刊数据库
同方期刊数据库