机构

• 软件研究所 [4]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [4]

发表日期

• 2016 [1]
• 2012 [1]
• 2004 [1]
• 2001 [1]

学科主题

• Computer S... [1]
• Computer S... [1]
• Multidisci... [1]

筛选

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 An Approach to Checking Consistency between UML Class Model and Its Java Implementation 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 4, 页码: 322-344 Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY   |  收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09 Class diagrams  UML  Java  model checking   impulse-based rendering methods for haptic simulation of bone-burring 期刊论文  OAI收割 IEEE TRANSACTIONS ON HAPTICS, 2012, 卷号: 5, 期号: 4, 页码: 344-355 Wang Qiong; Chen Hui; Wu Wen; Qin Jing; Heng Pheng Ann   |  收藏  |  浏览/下载：15/0  |  提交时间：2013/09/17 Haptic simulation of bone-burring  impulse-based dynamics  vibration modeling  surgical simulation  virtual reality   automatic generation of symbolic model for parameterized synchronous systems 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 卷号: 19, 期号: 6, 页码: 812-819 Xu WW   |  收藏  |  浏览/下载：7/0  |  提交时间：2011/07/29 parameterized system  formal verification  symbolic representation   fast combinative volume rendering by indexed data structure 期刊论文  OAI收割 PROGRESS IN NATURAL SCIENCE, 2001, 卷号: 11, 期号: 12, 页码: 918-923 Sun WW; Wang WC; Wu EH   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29 data structure  combinative volume rendering  data visualization