×
验证码:
换一张
忘记密码?
记住我
切换中国科技网通行证登录
×
切换中国科技网通行证登录
登录
中文版
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
数学所 [1]
作者
张平 [1]
文献类型
期刊论文 [5]
发表日期
2014 [1]
2013 [1]
2011 [1]
2007 [1]
1999 [1]
语种
英语 [5]
出处
COMMUNICAT... [1]
SCIENCE CH... [1]
四川大学学报自然科学... [1]
计算机学报 [1]
软件学报 [1]
资助项目
[Key Proje... [1]
[National ... [1]
[National ... [1]
收录类别
CSCD [1]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共5条,第1-5条
帮助
限定条件
语种:英语
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
WOS被引频次升序
WOS被引频次降序
题名升序
题名降序
作者升序
作者降序
期刊影响因子升序
期刊影响因子降序
提交时间升序
提交时间降序
Eliciting dependability requirements: a control cases based approach
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2014, 卷号: 57, 期号: 1
作者:
Liu Chun
;
Wang Yue
;
Zhang Wei
;
Jin Zhi
收藏
  |  
浏览/下载:90/0
  |  
提交时间:2021/01/14
NONFUNCTIONAL REQUIREMENTS
dependability
dependability requirements
requirements elicitation
control systems
control cases
一种用例控例驱动的软件分析与设计方法
期刊论文
软件学报, 2013, 卷号: 024, 期号: 004, 页码: 675
作者:
刘春
;
张伟
;
赵海燕
;
金芝
收藏
  |  
浏览/下载:91/0
  |  
提交时间:2020/01/10
知识引导的软件可信性需求的提取
期刊论文
计算机学报, 2011, 卷号: 034, 期号: 011, 页码: 2165
作者:
王越
;
刘春
;
张伟
;
金芝
收藏
  |  
浏览/下载:80/0
  |  
提交时间:2020/01/10
On a micro-macro model for polymeric fluids near equilibrium
期刊论文
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 2007, 卷号: 60, 期号: 6, 页码: 838-866
作者:
Lin, Fang-Hua
;
Liu, Chun
;
Zhang, Ping
收藏
  |  
浏览/下载:93/0
  |  
提交时间:2018/07/30
一类积分微分方程的稳定性
期刊论文
四川大学学报自然科学版, 1999, 卷号: 036, 期号: 002, 页码: 201
作者:
俞元洪
;
张冠军
;
刘春凤
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2020/01/10