作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2006, Vol. 32 ›› Issue (11): 50-57,5.

• 博士论文 • 上一篇    下一篇

基于C++模板的Z规格说明的数据类型的实现

高晓雷1,缪淮扣2,李 勇1   

  1. 1. 东莞理工学院软件学院,东莞 523808;2. 上海大学计算机学院,上海 200072
  • 出版日期:2006-06-05 发布日期:2006-06-05

Implementation of Data Type for Z Based on C++ Template

GAO Xiaolei1, MIAO Huaikou2, LI Yong1   

  1. 1. Institute of Software, Dongguan University of Technology, Dongguan 523808; 2. Institute of Computer Science, Shanghai University, Shanghai 200072
  • Online:2006-06-05 Published:2006-06-05

摘要: 主要介绍了用C++类模板实现Z规格说明语言中的类型,包括数据结构的设计、成员函数的设计。该模板的实现便于代码的重用和简化求精,从而提高软件开发的效率。

关键词: 模板, Z规格说明语言, C++, 类型

Abstract: This paper introduces the data type for Z language specification realized by C++ template, and then gives the design of data structure and member function for the template. The implementation of the template is to reuse code, and it is helpful to refine the system and improves the efficiency of software development.

Key words: Template, Z specification language, C++, Type

中图分类号: