李巍巍
- 作品数:3 被引量:3H指数:1
- 供职机构:沈阳工业大学信息科学与工程学院更多>>
- 相关领域:自动化与计算机技术更多>>
- Z规格说明中集合论算子的自动求精研究及实现
- 本课题研究了集合论算子的自动求精.研究工作主要包含以下几方面内容:研究了Z规格说明的数据类型以及各类型之间的关系;以Z的自动求精为目的,提出了用STL中的不同容器表示Z规格说明各数据类型的思想;利用C++及STL技术设计...
- 李巍巍
- 关键词:Z规格说明程序设计语言语义分析
- 文献传递
- 大型软件全程自动化开发的研究
- 随着社会对软件需求的不断增加,软件系统的结构越来越复杂,规模越来越庞大,复杂程度越来越高,大型软件出现错误的可能性剧增,开发成本难以控制,大型软件全程自动化开发是解决这些问题的根本途径,是软件开发技术的未来发展趋势。目前...
- 王宏生许占文王溪波王晓龙李巍巍
- 关键词:软件自动化
- 文献传递
- 基于C++STL的Z规格说明数据类型的表示被引量:3
- 2005年
- 介绍了Z规格说明的数据类型和它们的分类,从定义出发,阐述了这些数据类型派生的派生与继承关系.以Z规格说明向可执行代码的自动转换为目的,结合C++语言中STL模板库对数据结构和通用算法的强大支持功能,提出了用STL中的容器表示Z规格说明数据类型的方法.
- 王宏生王晓龙李巍巍
- 关键词:Z规格说明STLC++模板软件自动化