中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [10]
软件工程技术研究开发... [5]
计算机科学国家重点实... [4]
中科院软件所 [4]
综合信息系统技术国家... [2]
更多...
作者
刘玉岭 [1]
Content Type
期刊论文 [17]
学位论文 [6]
会议论文 [5]
Issued Date
2016 [1]
2014 [1]
Language
中文 [14]
英语 [3]
Source
计算机研究与发展 [4]
软件学报 [2]
ieee trans... [1]
proceeding... [1]
proceeding... [1]
更多...
Project
Indexed
WANFANG [8]
CNKI [5]
EI [5]
CSCD [2]
IEEE [2]
更多...
Spnsorship
ieee, comp... [2]
ieee comp ... [1]
int. assoc... [1]
the europe... [1]
中国机械工程学会 [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 28)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
Submitted Time Ascending
Submitted Time Descending
Author Ascending
Author Descending
An Approach to Checking Consistency between UML Class Model and Its Java Implementation
[期刊论文]
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016-01-01, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM
;
Shen, WW
;
France, RB
;
Mechling, BA
;
Li, GY
|
一种基于UML的网络安全体系建模分析方法
[期刊论文]
计算机研究与发展, 2014-01-01, 卷号: 51, 期号: 7, 页码: 1578-1593
布宁
;
刘玉岭
;
连一峰
;
黄亮
|
基于通用知识的软件设计安全性评估
[期刊论文]
计算机系统应用, 2013-01-01, 期号: 11, 页码: 1-6,80
戚荣波
;
杜晶
;
杨叶
一种软件设计安全性评估的自动化辅助方法及实现
[学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-28
戚荣波
|
an aspect-oriented modeling approach to predict performance of jca-based systems
[学位论文]
, 2009-01-01
Zhang Wenbo
;
Huang Xiang
;
Zhang Bo
;
Wei Jun
基于模型的分布式组件系统性能评价技术研究
[学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-06
张勇
|
双重软件体系结构描述框架XYZ/ADL
[期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
|
空间碎片搜索数字化仿真系统的设计与实现
[期刊论文]
系统仿真学报, 2007-01-01, 卷号: 19, 期号: 24, 页码: 5680-5683,5687
王抒雁
;
王宇心
;
陈宏
|
模型驱动软件开发过程的若干问题研究
[学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-05
段玉聪
|
declarative performance modeling for component-based system using uml profile for schedulability, performance and time
[会议论文]
4th IEEE International Conference on Software Engineering and Formal Methods, Pune, INDIA, SEP 11-15,
Zhang Yong
;
Huang Tao
;
Wei Jun
|
1
2
3
next
Copyright © 2007-2020
中国科学院软件研究所
-
Feedback
Powered by
CSpace
