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

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

作　　者：高晓雷[1] 缪淮扣[2] 李勇[1] 

机构地区：[1]东莞理工学院软件学院,东莞523808 [2]上海大学计算机学院,上海200072

出　　处：《计算机工程》2006年第11期50-51,54,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60173030)

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

关 键 词：C++模板 Z规格说明语言 数据类型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]