位置：成果数据库 > 期刊 > 期刊详情页
基于Joeq编译器的软件分析及其应用
  • ISSN号：1000-5854
  • 期刊名称：河北师范大学学报(自然科学版)
  • 时间：2015.5.11
  • 页码：202-207
  • 相关项目：面向并行程序中同步机制的软件自动重构及一致性检验方法研究
作者： 张杨|张冬雯|
同期刊论文项目
面向并行程序中同步机制的软件自动重构及一致性检验方法研究
期刊论文 7 会议论文 2 著作 1
同项目期刊论文
Java 并行程序设计教材建设和教学探索
A New Kmeans Clustering Algorithm for Point Cloud
面向Fork/Join框架的软件重构及性能分析
面向Java锁机制的字节码自动重构框架
Chinese Comment Sentiment Classification Based on Word2vec and Svmperf
Automated refactoring from synchronized locks to reentrant locks
期刊信息
  • 《河北师范大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:河北省教育厅
  • 主办单位:河北师范大学
  • 主编：蒋春澜
  • 地址：河北省石家庄市南二环东路20号
  • 邮编：050024
  • 邮箱：ziranb@mail.hebtu.edu.cn
  • 电话：0311-80786364
  • 国际标准刊号：ISSN：1000-5854
  • 国内统一刊号：ISSN：13-1061/N
  • 邮发代号:18-201
  • 获奖情况:
  • 全国优秀科技期刊,华北优秀科技期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,英国动物学记录,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）
  • 被引量:6209