张卓鹏

作品数：1被引量：1H指数：1
导出分析报告
供职机构：吉林大学更多>>
发文主题：VB程序形式化方法逆向工程高可用服务架构更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《吉林大学学报（信息科学版）》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用形式化和非形式化技术对VB程序逆向工程被引量：1
《吉林大学学报（信息科学版）》2003年第4期387-392,共6页何丽莉 胡成全 齐红 张卓鹏 
国家自然科学基金资助项目(60175024);国家教育部符号计算与知识工程重点实验室基金资助项目
研究了采用形式化和非形式化相结合的方法,为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现...
关键词：逆向工程 形式化规格说明 形式化方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部