胡小威

作品数:2被引量:3H指数:1
导出分析报告
供职机构:重庆大学更多>>
发文主题:WEB软件STRUTS框架交叉算子人工鱼群算法投影寻踪更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机工程与应用》《计算机应用》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
基于投影寻踪的Web软件复杂性度量被引量:2
《计算机应用》2012年第3期827-830,共4页曾一 胡小威 李鹃 
传统的软件复杂性度量方法主要是针对C/C++、Ada等语言开发的非Web应用。以面向对象的基于Struts框架的Web软件为研究对象,提出了适合于Web-Struts软件的3个方面的复杂性度量指标,并提出了一种基于带交叉算子人工鱼群和投影寻踪(PP)算法...
关键词:软件复杂性度量 面向对象 STRUTS框架 投影寻踪 交叉算子 人工鱼群算法 
一种状态图到B规格说明的自动转换方法研究实现被引量:1
《计算机工程与应用》2011年第35期77-80,142,共5页曾一 孙政 周吉 胡小威 
状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提...
关键词:形式化方法 元模型 UML状态图 B方法 模型转换 
检索报告 对象比较 聚类工具 使用帮助 返回顶部