Journal of Software 연건학보
 

Archive
2018
1|2|3|4|5|6
2017
1|2|3|4|5|6|7|8|9|10|11|12
2016
1|2|3|4|5|6|7|8|9|10|11|12
2015
1|2|3|4|5|6|7|8|9|10|11|12
2014
1|2|3|4|5|6|7|8|9|10|11|12
2013
1|2|3|4|5|6|7|8|9|10|11|12
2012
1|2|3|4|5|6|7|8|9|10|11|12
2011
1|2|3|4|5|6|7|8|9|10|11|12
2010
1|2|3|4|5|6|7|8|9|10|11|12
2009
1|2|3|4|5|6|7|8|9|10|11|12
2008
1|2|3|4|5|6|7|8|9|10|11|12
2007
1|2|3|4|5|6|7|8|9|10|11|12
2006
1|2|3|4|5|6|7|8|9|10|11|12
2005
1|2|3|4|5|6|7|8|9|10|11|12
2004
1|2|3|4|5|6|7|8|9|10|11|12
2003
1|2|3|4|5|6|7|8|9|10|11|12
2002
1|2|3|4|5|6|7|8|9|10|11|12
2001
1|2|3|4|5|6|7|8|9|10|11|12
2000
1|2|3|4|5|6|7|8|9|10|11|12
1999
1|2|3|4|5|6|7|8|9|10|11|12
1998
1|2|3|4|5|6|7|8|9|10|11

Table of Content ·  2018 (No.6)

  1. 互模拟准局部验证算法的扩展与实现 郑晓琳邓玉欣付辰雷国庆ZHENG Xiao-LinDENG Yu-XinFU ChenLEI Guo-Qing
  2. 自动分析递归数据结构的归纳性质 汤震浩李彬翟娟赵建华TANG Zhen-HaoLI BinZHAI JuanZHAO Jian-Hua
  3. 自动合成数组不变式 李彬翟娟汤震浩汤恩义赵建华LI BinZHAI JuanTANG Zhen-HaoTANG En-YiZHAO Jian-Hua
  4. 向量加法系统验证问题研究综述 张文博龙环ZHANG Wen-BoLONG Huan
  5. 异构多智能体系统模型检查 张业迪宋富ZHANG Ye-DiSONG Fu
  6. 基于SMT的时钟约束语言CCSL的形式化分析方法与工具 应云辉张民YING Yun-HuiZHANG Min
  7. 消息传递的MSVL通信机制及其实现 王小兵郭文轩段振华WANG Xiao-BingGUO Wen-XuanDUAN Zhen-Hua
  8. 普适计算应用时空性质的运行时验证 李晅松陶先平宋巍LI Xuan-SongTAO Xian-PingSONG Wei
  9. APTL公式的可满足性检查工具 王海洋段振华田聪WANG Hai-YangDUAN Zhen-HuaTIAN Cong
  10. 基于类型理论的领域数据建模和验证及案例 乌尼日其其格李小平马世龙吕江花WUNIRI Qi-Qi-GeLI Xiao-PingMA Shi-LongL(U) Jiang-Hua
  11. 一种嵌套中断系统的建模和分析方法 崔进段振华田聪张南CUI JinDUAN Zhen-HuaTIAN CongZHANG Nan
  12. 考虑中断和上下文切换开销的响应时间分析 于广良杨孟飞YU Guang-LiangYANG Meng-Fei
  13. 机器人关节通信总线系统的建模与验证 孟瑶李晓娟关永王瑞张杰MENG YaoLI Xiao-JuanGUAN YongWANG RuiZHANG Jie
  14. API使用的关键问题研究 李正吴敬征李明树LI ZhengWU Jing-ZhengLI Ming-Shu
  15. 服务组合安全隐私信息流静态分析方法 彭焕峰黄志球刘林源李勇柯昌博PENG Huan-FengHUANG Zhi-QiuLIU Lin-YuanLI YongKE Chang-Bo
  16. 基于条件概率模型的缺陷定位方法 舒挺黄明献丁佐华王磊夏劲松SHU TingHUANG Ming-XianDING Zuo-HuaWANG LeiXIA Jin-Song
  17. MapReduce与Spark用于大数据分析之比较 吴信东嵇圣硙WU Xin-DongJI Sheng-Wei
  18. 基于包含度的子图匹配方法 李瑞远洪亮LI Rui-YuanHONG Liang
  19. 5G移动通信网络安全研究 冯登国徐静兰晓FENG Deng-GuoXU JingLAN Xiao

Previous:2018-5