中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 31)

Items/Page:    Sort:
Java内存模型的动静态结合验证方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-16
李亮
  |  
 
An Approach to Checking Consistency between UML Class Model and Its Java Implementation [期刊论文]
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016-01-01, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY
  |  
 
Java内存模型的动态验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-01
赵晓凯
  |  
 
基于Java Web的分布式数据库访问与海量数据分析研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-06-01
张卫星
  |  
 
debug concurrent programs with visualization and inference of event structure [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Wu Xiaoquan; Wei Jun; Wang Xu

 
a dynamic fault localization technique with noise reduction for java programs [会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Xu Jian; Chan W.K.; Zhang Zhenyu; Tse T.H.; Li Shanping
  |  
 
static detection of bugs caused by incorrect exception handling in java programs [会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Wu Xiaoquan; Xu Zhongxing; Wei Jun
  |  
 
visualizing inference process of a rule engine [会议论文]
4th Visual Information Communication - International Symposium, VINCI 2011, Hong Kong, China, August 4,
Shi Jian; Qiao Ying; Wang Hongan
  |  
 
JUTA:一个Java自动化单元测试工具 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
  |  
 
static detection of unsafe use of variables in java program [会议论文]
Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, Xi'an, China, 40842
Wu Xiaoquan; Wei Jun
  |  
 

1 2 3 4 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace