期刊文献+

基于C++模板的Z规格说明的数据类型的实现 被引量:1

Implementation of Data Type for Z Based on C++ Template
下载PDF
导出
摘要 主要介绍了用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.
出处 《计算机工程》 CAS CSCD 北大核心 2006年第11期50-51,54,共3页 Computer Engineering
基金 国家自然科学基金资助项目(60173030)
关键词 C++模板 Z规格说明语言 数据类型 Template Z specification language C++ Type
  • 相关文献

参考文献3

  • 1Diller A. Z: An Introduction to Formal Methods[M]. UK: John Wiley & Sons, 1990.
  • 2Spivey J M. The Z Notation: A Reference Manual[M]. UK: Prentice Hall, 1992.
  • 3Eugene,Olafsen.MFC Visual C++6编程技术内幕[M].北京:机械工业出版社,2002.

同被引文献1

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部