×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [9]
内容类型
期刊论文 [9]
发表日期
2011 [1]
2010 [1]
2007 [1]
2006 [2]
2004 [1]
2001 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共9条,第1-9条
帮助
限定条件
内容类型:期刊论文
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于XYZ/ADL的异步Web服务组合描述与验证
期刊论文
计算机科学, 2011, 卷号: 38, 期号: 12, 页码: 139-143
石慧娟
;
戎玫
;
张广泉
;
朱稷涵
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/10/08
Web服务组合
XYZ/ADL
异步通信
时间属性
模型检测
一种基于UPPAAL的Web服务组合模型检测方法
期刊论文
计算机科学, 2010, 卷号: 37, 期号: 11, 页码: 122-125
何亚丽
;
戎玫
;
张广泉
收藏
  |  
浏览/下载:227/44
  |  
提交时间:2011/05/23
Web服务组合
模型检测
XYZ/ADL
XYZ/RE
UPPAAL
双重软件体系结构描述框架XYZ/ADL
期刊论文
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
体系结构描述语言XYZ/ADL到UML的映射
期刊论文
计算机应用, 2006, 期号: 2, 页码: 468-471
陈琳琳
;
戎玫
;
张广泉
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/07/13
软件体系结构
形式化描述
可视化描述
XYZ/ADL
UML
UML与XYZ/ADL在电梯控制系统体系结构建模中的应用
期刊论文
《制造业自动化》杂志社, 2006, 期号: 1
张玲红
;
张广泉
;
朱雪阳
;
戎玫
;
何玉乾
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2011/07/13
软件体系结构
UML
XYZ/ADL
建模
UML与ADL在软件体系结构建模中的应用研究
期刊论文
重庆师范大学学报(自然科学版), 2004, 期号: 4, 页码: 1-6
张广泉
;
张玲红
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2011/07/29
软件体系结构,电梯控制系统,建模,UML,XYZ/ADL
可视化软件体系结构描述工具XYZ/ADL的设计与实现
期刊论文
重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 2, 页码: 1-6
张广泉
;
骆华俊
;
郑建丹
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2011/07/29
时态逻辑
软件体系结构
体系结构描述工具
可视化
软件体系结构
描述工具
体系结构设计
模块化程序
逐步过渡
图形表示
设计方法
设计单元
求精方法
逻辑语言
动态行为
抽象层次
语言能
连接件
交互端
组件
框架
基础
规范
可视化体系结构描述语言XYZ/ADL
期刊论文
软件学报, 2000, 卷号: 11, 期号: 8, 页码: 1024-1029
骆华俊
;
唐稚松
;
郑建丹
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/07/29
时序逻辑语言
软件体系结构
体系结构描述语言
组件
连接件
交互端
可视化
体系结构设计
时序逻辑语言
软件体系结构
结构描述语言
逐步过渡
统一框架
设计单元
静态语义
动态语义
连接件
交互端
组件
基础
XYZ系统在动画设计中的应用
期刊论文
软件学报, 1998, 卷号: 9, 期号: 1, 页码: 1
唐小平
;
唐稚松
;
马华东
;
赵琛
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2010/08/25
XYZ/E
ADL
代理机构
角色
条件元
动画描述模型
©版权所有 ©2017 CSpace - Powered by
CSpace