面向对象的规范描述及转换 |
| |
引用本文: | 彭智勇.面向对象的规范描述及转换[J].计算机科学,1990,17(1):33-37. |
| |
作者姓名: | 彭智勇 |
| |
作者单位: | 武汉大学软件工程研究所 |
| |
摘 要: | 本文基于抽象数据类型提出了一种规范描述语言,该语言以多相代数作为其数学模型,并引入类型继承机制,体现了面向对象的程序设计思想。最后,探讨了关于这种语言的规范描述到面向对象程序设计环境的自动转换。
|
关 键 词: | 面向对象 规范描述 程序设计 |
本文献已被 CNKI 维普 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|