咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 1 篇 电子科学与技术（可...

主题

  • 4 篇 antlr工具
  • 1 篇 t2n工具
  • 1 篇 安全检查工具
  • 1 篇 语言转换
  • 1 篇 可视化
  • 1 篇 java前端
  • 1 篇 算子设计方法
  • 1 篇 高层次综合
  • 1 篇 模型转换
  • 1 篇 控制流图
  • 1 篇 scr方法

机构

  • 1 篇 内蒙古师范大学
  • 1 篇 南京航空航天大学
  • 1 篇 中国电子科技集团...
  • 1 篇 常德职业技术学院

作者

  • 1 篇 任浩
  • 1 篇 罗雅丽
  • 1 篇 王立松
  • 1 篇 李思洁
  • 1 篇 常迎辉
  • 1 篇 田素雷
  • 1 篇 张丽萍
  • 1 篇 赵月明
  • 1 篇 战芸娇
  • 1 篇 魏欧

语言

  • 4 篇 中文
检索条件"主题词=ANTLR工具"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于antlr工具的高层次综合方法实现
收藏
分享
引用
中国集成电路 2015年 第4期24卷 54-58页
作者： 田素雷 赵月明 常迎辉 中国电子科技集团公司第五十四研究所 河北石家庄050081
随着集成电路制造工艺技术和功能复杂性的不断发展,传统的I C设计方法已经很难满足越来越短的上市时间的需求,为了解决这一问题,研究人员趋于研发更加新颖高效的设计方法,如高层次综合方法。而其中算子设计方法是最有发展前景的解决方... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于表格表达式的SCR需求模型转换
收藏
分享
引用
计算机科学 2019年 第6期46卷 180-188页
作者： 李思洁 魏欧 战芸娇 王立松 南京航空航天大学计算机科学与技术学院
基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式化符号-表格的表达式,以多维表格化结构表示系统需求的形式化需求规约方法。针对形式化需求的自动化测试... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于C程序的控制流图生成器的设计和实现
收藏
分享
引用
电脑编程技巧与维护 2013年 第4期 8-11页
作者： 任浩 张丽萍 内蒙古师范大学计算机与信息工程学院 呼和浩特010022
在对控制流图生成算法进行深入研究的基础上,基于分析器自动生成工具antlr,利用语法制导翻译技术,构造具有自动生成程序控制流图功能的语法分析器,并最后对实验生成的控制流图进行可视化输出。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
安全检查工具中Java前端框架设计方法研究
收藏
分享
引用
电脑编程技巧与维护 2023年 第3期 30-32,46页
作者： 罗雅丽 常德职业技术学院 湖南常德415000
随着Java程序应用范围越来越广,其安全性也成为软件行业重点关注的问题。相关研究人员深入分析了各种安全检查软件的特点,并根据Java安全需求,基于预处理环节与中间表示环节,搭建了Java前端框架。重点分析了Java Compiler Tree API预处... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件