您的位置: 专家智库 > >

李巍巍

作品数:3 被引量:3H指数:1
供职机构:沈阳工业大学信息科学与工程学院更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 3篇自动化与计算...

主题

  • 2篇软件自动化
  • 2篇自动化
  • 2篇Z规格说明
  • 1篇语义
  • 1篇语义分析
  • 1篇设计语言
  • 1篇数据类
  • 1篇数据类型
  • 1篇STL
  • 1篇C++模板
  • 1篇程序设计
  • 1篇程序设计语言

机构

  • 3篇沈阳工业大学

作者

  • 3篇李巍巍
  • 2篇王晓龙
  • 2篇王宏生
  • 1篇王溪波
  • 1篇许占文

传媒

  • 1篇辽宁大学学报...
  • 1篇中国科协20...

年份

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