中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [10]
计算技术研究所 [2]
成都山地灾害与环境研... [1]
采集方式
OAI收割 [13]
_filter
_filter
_filter
筛选
浏览/检索结果:
共13条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于动态异构信息网络的时序关系预测
期刊论文
OAI收割
计算机研究与发展, 2015, 卷号: 52.0, 期号: 008, 页码: 1735
作者:
赵泽亚
;
贾岩涛
;
王元卓
;
靳小龙
;
程学旗
|
收藏
|
浏览/下载:3/0
|
提交时间:2023/12/04
时序关系预测
时间差路径
动态异构信息网络
随机游走
拓扑结构
交互式时序数据可视化研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2010
罗雄飞
|
收藏
|
浏览/下载:18/0
|
提交时间:2010/06/07
信息可视化,时序数据可视化,人机交互,用户界面,以用户为中心,软件开发方法,软件体系结构,软件平台,流程企业信息化
双重软件体系结构描述框架XYZ/ADL
期刊论文
OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
|
收藏
|
浏览/下载:32/0
|
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
UML活动图的时序逻辑语义
期刊论文
OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳
;
唐稚松
|
收藏
|
浏览/下载:20/0
|
提交时间:2011/07/28
UML
活动图
形式化语义
时序逻辑
XYZ/E
活动图
线性时序逻辑语言
逻辑语义
UML Activity Diagrams
形式化
系统行为
语义转换
行为建模
描述系统
逻辑框架
动态行为
图结构
控制流
可表示
程序性
基础
一种基于构件的软件体系结构求精方法及其应用
期刊论文
OAI收割
重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5
晏荣杰
;
张广泉
|
收藏
|
浏览/下载:17/0
|
提交时间:2011/07/29
软件体系结构
构件
形式化描述
求精
XYZ/E
基于构件
软件体系结构
方法及
应用
求精方法
形式化描述
时序逻辑语言
研究领域
描述语言
开发实例
基于行为
工程学科
风格
一种遵循IEEE 1149.1标准的可测试性设计结构
期刊论文
OAI收割
微电子学与计算机, 2003, 卷号: 20.0, 期号: 005, 页码: 23
作者:
尹志刚
;
李华伟
;
李晓维
|
收藏
|
浏览/下载:1/0
|
提交时间:2023/12/04
IEEE1149.1标准
国际标准
可测试性设计结构
时序电路
基于组件的逐步求精程序设计方法
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
郑建丹
收藏
|
浏览/下载:16/0
|
提交时间:2011/03/17
XYZ系统
时序逻辑语言
软件体系结构
逐步求精
形式化方法
理性Agent的意图维护模型
期刊论文
OAI收割
计算机研究与发展, 2001, 卷号: 38, 期号: 9, 页码: 1046-1050
胡山立
;
石纯一
|
收藏
|
浏览/下载:22/0
|
提交时间:2011/07/29
Agent
意图
语义
模型
维护
信念
逻辑全知问题
思维状态
时序结构
动态模型
模态形式
可能世界
动态变化
形式化
适用性
副作用
属性
直观
语义
算子
考察
基于XYZ/E的软件体系结构描述及求精实例研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
舒明
收藏
|
浏览/下载:20/0
|
提交时间:2011/03/17
软件体系结构
软件体系结构描述语言
线性时序逻辑
风格
逐步求精
可视化体系结构描述语言XYZ/ADL
期刊论文
OAI收割
软件学报, 2000, 卷号: 11, 期号: 8, 页码: 1024-1029
骆华俊
;
唐稚松
;
郑建丹
|
收藏
|
浏览/下载:25/0
|
提交时间:2011/07/29
时序逻辑语言
软件体系结构
体系结构描述语言
组件
连接件
交互端
可视化
体系结构设计
时序逻辑语言
软件体系结构
结构描述语言
逐步过渡
统一框架
设计单元
静态语义
动态语义
连接件
交互端
组件
基础
首页
上一页
1
2
下一页
末页