节点文献
Z语言的面向对象说明
Specification of Object Orientation of Z
【摘要】 通过一个简单的绘图系统实例阐明了通过在Z语言中增加面向对象的结构来实现面向对象的系统说明。
【Abstract】 This paper presents a simple example of specifying a drawing system in Z and illuminates object-oriented system specification by adding object-oriented structure to Z.
- 【文献出处】 计算机与现代化 ,Computer and Modernization , 编辑部邮箱 ,2004年10期
- 【分类号】TP312
- 【下载频次】94