QQ客服 官方微博 反馈留言

浏览/检索结果: 共10条，第1-10条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 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