×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [14]
地理科学与资源研究所 [3]
软件研究所 [3]
清华大学 [1]
厦门大学 [1]
北京航空航天大学 [1]
更多...
内容类型
期刊论文 [10]
其他 [7]
会议论文 [3]
SCI/SSCI论文 [2]
学位论文 [2]
EI期刊论文 [1]
更多...
发表日期
2021 [1]
2019 [1]
2016 [2]
2014 [2]
2012 [2]
2011 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共26条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Queue assignment for fixed-priority real-time flows in time-sensitive networks: Hardness and algorithm
期刊论文
Journal of Systems Architecture, 2021, 卷号: 116, 页码: 1-11
作者:
Lin YH(林宇晗)
;
Jin X(金曦)
;
Zhang TY(张天宇)
;
Han ML(韩美灵)
;
Guan N(关楠)
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2021/05/15
Resource management
Industrial internet of things
Real-time scheduling
Time-sensitive networks
Optical design of off-axis three-mirror system with long focal length and wide field of view
会议论文
Chengdu, China, 2018-06-26
作者:
Wang, Lei
;
Fan, Xuewu
;
Ni, Dongwei
;
Wang, Yuming
收藏
  |  
浏览/下载:43/0
  |  
提交时间:2019/03/22
Petri net based test case generation for evolved specification
期刊论文
Science China(Information Sciences), 2016
Zuohua DING
;
Mingyue JIANG
;
Haibo CHEN
;
Zhi JIN
;
Mengchu ZHOU
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/12/03
test case generation
regression testing
evolved specification
Petri net
reachability graph
Petri net based test case generation for evolved specification
期刊论文
Science China-Information Sciences, 2016
Ding, Zuohua
;
Jiang, Mingyue
;
Chen, Haibo
;
Jin, Zhi
;
Zhou, Mengchu
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/04
test case generation
regression testing
evolved specification
Petri net
reachability graph
SELECTION
A case study on consistency management of business and IT process models in banking
期刊论文
software and systems modeling, 2014
Branco, Moises Castelo
;
Xiong, Yingfei
;
Czarnecki, Krzysztof
;
Kuester, Jochen
;
Voelzer, Hagen
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/12
Business processes
Consistency management
Process refinement patterns
Empirical study
CHANGE OPERATIONS
SIMILARITY
LEVEL
TREE
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages
会议论文
SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY, 2014-01-01
作者:
Zhang, Man
;
Yue, Tao
;
Ali, Shaukat
;
Zhang, Huihui
;
Wu, Ji
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2020/01/06
Use Cases
Restricted Use Case Modeling
Test Case Specification
Restricted Test Case Specification
Natural Language
Test Generation
Test Cases
Transformation and Automation
Connectors as designs: Modeling, refinement and test case generation
其他
2012-01-01
Meng, Sun
;
Arbab, Farhad
;
Aichernig, Bernhard K.
;
Astefanoaei, Lacramioara
;
de Boer, Frank S.
;
Rutten, Jan
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2015/11/10
Connector
Reo circuits
Timed data sequence
Design
Refinement
Test case generation
COMPONENT CONNECTORS
REWRITING LOGIC
REO
车船税代征系统的设计与实现
学位论文
2012, 2012
阮卓敏
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2016/02/14
车船税
代征
用例规约
MVC模式
Vehicle and Vessel Tax
collect on behalf of taxation bureau
use case specification
MVC pattern
software effort estimation model based on use case specification
会议论文
6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, Beijing, China, June 8, 2011 - June 11, 2011
Chen Xinguang
;
Shu Fengdi
;
Yang Ye
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/10/08
Estimation
Factor analysis
Specifications
面向Web服务发现的本体知识库
期刊论文
2010, 2010
张钋
;
李涓子
;
王克宏
;
ZHANG Po
;
LI Juan-Zi
;
WANG Ke-Hong
收藏
  |  
浏览/下载:2/0
©版权所有 ©2017 CSpace - Powered by
CSpace