中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [9]
采集方式
OAI收割 [9]
_filter
_filter
_filter
筛选
浏览/检索结果:
共9条,第1-9条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
SRLtoRadl生成系统及其范畴论语义
期刊论文
OAI收割
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶
;
薛锦云
;
左正康
|
收藏
|
浏览/下载:33/0
|
提交时间:2014/12/16
结构化需求语言
形式化软件规约
自动生成系统
高可靠
范畴论语义
structural requirement language
formal software specification
automatic generation system
high reliability
category semantics
quantitative analysis of requirements evolution across multiple versions of an industrial software product
会议论文
OAI收割
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Hailong Wang
;
Juan Li
;
Qing Wang
;
Ye Yang
|
收藏
|
浏览/下载:24/0
|
提交时间:2011/03/31
defect estimation
industrial software product
quantitative analysis
requirements evolution
software engineering
software organization
formal specification
formal verification
software houses
software metrics
systems analysis
a mechanical approach for deriving algorithmic programs
会议论文
OAI收割
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe
;
Xue Jinyun
;
Du Dawei
|
收藏
|
浏览/下载:21/0
|
提交时间:2011/06/13
MPAR
algorithm correctness
automatic algorithm design
executable language program
formal algorithm program derivation
mechanical partition-and-recur approach
problem specification
software reliability
formal specification
program verification
software rel
basic research in computer science and software engineering at sklcs
期刊论文
OAI收割
Frontiers of Computer Science in China, 2008, 卷号: 2, 期号: 1, 页码: 1-11
Zhang Jian
;
Zhang Wenhui
;
Zhan Naijun
;
Shen Yidong
;
Chen Haiming
;
Zhang Yunquan
;
Wang Yongji
;
Wu Enhua
;
Wang Hongan
;
Zhu Xueyang
|
收藏
|
浏览/下载:20/0
|
提交时间:2010/07/23
concurrency theory
real-time system
automated reasoning
formal specification
parallel algorithms
software process
middleware
computer graphics
human-computer interaction
distinguishing between automatic and manual aspects of model driven development
会议论文
OAI收割
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong
;
Gu Yuqing
;
Cheung S. C.
;
Fu Xiaolan
;
Wang Jing
;
Hu Qingwu
|
收藏
|
浏览/下载:26/0
|
提交时间:2011/07/28
automation level
automation tasks
entity relationship model
model driven development
model driven software development
model transformations
Unified Modeling Language
entity-relationship modelling
formal specification
distinguishing between automatic and manual aspects of model driven development
会议论文
OAI收割
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30,
Duan Yucong
;
Gu Yuqing
;
Cheung S. C.
;
Fu Xiaolan
;
Wang Jing
;
Hu Qingwu
|
收藏
|
浏览/下载:26/0
|
提交时间:2011/07/28
automation level
automation tasks
entity relationship model
model driven development
model driven software development
model transformations
Unified Modeling Language
entity-relationship modelling
formal specification
a metamodel based model transformation approach
会议论文
OAI收割
3rd International Conference on Software Engineering Research, Management and Applications, Mt Pleasant, MI, AUG 11-13,
Duan YC
;
Cheung SC
;
Fu XL
;
Gu YQ
|
收藏
|
浏览/下载:25/0
|
提交时间:2011/07/28
UML metamodel elements
information transformation problem
metamodel based model transformation approach
model driven software development
transformation rules
Unified Modeling Language
formal specification
validating objected-oriented prototype of real-time systems with timed automata
会议论文
OAI收割
13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03,
Shu GQ
;
Li C
;
Wang Q
;
Li MS
|
收藏
|
浏览/下载:18/0
|
提交时间:2011/07/29
FORTS
UML
Unified Modeling Language
case study
constraint solving
formal semantics
formal specification
model checking
object-oriented real-time system development
object-oriented software validation
sequence diagram
software prototyping
timed
specification analysis and test data generation by solving boolean combinations of numeric constraints
会议论文
OAI收割
1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31,
Zhang J
|
收藏
|
浏览/下载:17/0
|
提交时间:2011/07/29
Boolean constraint solver
Boolean logic reasoning
numeric constraints
requirement specifications
satisfiability
software test data generation
Boolean algebra
computability
formal specification
首页
上一页
1
下一页
末页