×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
西安交通大学 [5]
山东大学 [3]
北京航空航天大学 [2]
内容类型
会议论文 [7]
期刊论文 [3]
发表日期
2015 [1]
2014 [4]
2013 [1]
2010 [2]
2009 [2]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共10条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
Software testing evolution process model and growth of software testing quality
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2015, 卷号: 58
作者:
He ZhiTao
;
Liu Chao
;
Yan HaiHua
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2020/01/06
software testing
software testing quality
the dependability of software testing
the formal definition of software testing
software testing evolution process model
software testing quality framework
Unified dynamic resource supply model to support cyber physical system
会议论文
作者:
Dong, Yuji
;
Wan, Kaiyu
;
Yue, Yong
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/02
Allocation algorithm
Cyber-Physical System (CPS)
Dynamic resources
Formal definition
Research results
Resource management
Resource model
Resource specification
Automatic conversion from application scenarios to state diagrams
会议论文
2014 2nd IEEE International Conference on Progress in Informatics and Computing, PIC 2014, 16 May 2014 through 18 May 2014
作者:
Lin, Lijie
;
Lu, Lei
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/31
application scenarios
automatic conversion
formal definition
Object Constraint Language
sequence diagrams
state diagrams
Automatic conversion from Application scenarios to State diagrams
会议论文
作者:
Lijie Lin
;
Lei Lu
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/31
application scenarios
sequence diagrams
state diagrams
formal definition
Object Constraint Language
automatic conversion
Automatic conversion from Application scenarios to State diagrams
会议论文
2nd IEEE International Conference on Progress in Informatics and Computing (PIC), MAY 16-18, 2014
作者:
Lin, Lijie
;
Lu, Lei
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/31
application scenarios
sequence diagrams
state diagrams
formal
definition
Object Constraint Language
automatic conversion
A Formal Definition of Software Testing Based on Fuzzy Measure
会议论文
4th World Congress on Software Engineering (WCSE), Hong Kong, PEOPLES R CHINA, 2013-01-01
作者:
He, Zhitao
;
Yan, Haihua
;
Liu, Chao
;
He, Huacan
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2020/01/06
software testing
formal definition
fuzzy measure
trusted software
dependability of software testing
Research on formal description of data flow software faults
会议论文
作者:
Shan, Jin-Hui
;
Cao, Zong-Sheng
;
Niu, Sheng-Fen
;
Xiang, Ri-Hua
;
Ming, Dong
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/10
Data dependencies
Data flow
Data-flow software
Detecting methods
Formal definition
Formal Description
Sample data
Software fault
Software rejuvenation model based on reconfiguration and periodical rejuvenation
期刊论文
Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2010, 卷号: 44, 期号: [db:dc_citation_issue], 页码: 91-95
作者:
Du, Xiaozhi
;
Qi, Yong
;
Hou, Di
;
Chen, Ying
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/10
Continuous time Markov chain
Degradation state
Formal definition
Reconfiguration
Software aging
Software rejuvenation
Success probabilities
System availability
The extensions of OWL on properties exclusion and the corresponding semantic parser
会议论文
作者:
Yazhe, Tang
;
Dan, Wang
;
Fengfan, Huang
;
Heng, Chang
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/18
Description logic
Formal definition
Knowledge-based reasoning
Ontology description language
Ontology web language
Pervasive computing environment
Rule set
Research on efficient trust management in distributed environments
期刊论文
Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2009, 卷号: 43, 期号: 6, 页码: 15-19
作者:
Guan, Shangyuan
;
Wu, Weiguo
;
Dong, Xiaoshe
;
Mei, Yiduo
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/18
Distributed environments
Formal definition
Lattice-theoretical fix-point
Performance of systems
Proof of compliance
Trust attributes
Trust management
Trust relationship
©版权所有 ©2017 CSpace - Powered by
CSpace