Author Login Editor-in-Chief Peer Review Editor Work Office Work

Computer Engineering ›› 2006, Vol. 32 ›› Issue (11): 50-57,5.

• Degree Paper • Previous Articles     Next Articles

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规格说明的数据类型的实现

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

  1. 1. 东莞理工学院软件学院,东莞 523808;2. 上海大学计算机学院,上海 200072

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

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

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

CLC Number: