×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [15]
暨南大学 [8]
华中师范大学 [1]
武汉大学 [1]
湖南大学 [1]
贵州大学 [1]
更多...
内容类型
期刊论文 [22]
学位论文 [4]
会议论文 [1]
发表日期
2015 [1]
2008 [1]
2007 [5]
2006 [2]
2005 [3]
2004 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共27条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
基于XYZ/SE的软件部分正确性验证
期刊论文
计算机工程与应用, 2015, 卷号: 第51卷 第14期, 页码: 46-50
作者:
张锦
;
刘曼霞
;
赵二群
;
柳军飞
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/31
形式化描述
部分正确性验证
结构化XYZ/E
国库信息处理系统
基于时序逻辑的UML2.0通信图语义研究
期刊论文
2008, 卷号: 29, 期号: 21, 页码: 5601
作者:
张姝[1,2]
;
戎玫[3]
;
张广泉[1]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/10
UML2.0
通信图
时序逻辑
形式化语法
形式化语义
XYZ/E
面向服务业务过程建模方法的研究
学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
董广智
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/03/17
面向服务体系结构
业务过程管理
过程建模
过程元模型
动态语义
XYZ/E
过程分析与验证
过程柔性运作
反射
动态绑定
UML2.0的形式化语义研究
期刊论文
2007, 卷号: 27, 期号: [db:dc_citation_issue], 页码: 39
作者:
张广泉[1,2]
;
戎玫[3]
;
黄正宝[1]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/03
线性时序逻辑
形式化语义
UML2.0
顺序图
状态图
XYZ/E
UML2.0类图的一种形式化描述方法
期刊论文
2007, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 277
作者:
杨敬中[1]
;
张广泉[1,2]
;
戎玫[3]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/03
UML2.0类图
形式化描述
XYZ/E
双重软件体系结构描述框架XYZ/ADL
期刊论文
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
XYZ/AE描述程序性质的探讨
期刊论文
2007, 卷号: 34, 期号: 3, 页码: 268
作者:
左春华[1]
;
张广泉[1,2]
;
戎玫[3]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/10
程序性质
XYZ/AE
XYZ/E
Statecharts的组合语义与求精
期刊论文
软件学报, 2006, 期号: 4, 页码: 670-681
朱雪阳
;
唐稚松
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/07/13
Statecharts
时序逻辑
XYZ/E
形式语义
组合
求精
基于XYZ/E的CA认证系统描述与求精
期刊论文
2006, 卷号: 33, 期号: 8, 页码: 267
作者:
刘俭云[1,2]
;
张广泉[2,4]
;
戎玫[3]
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/06
XYZ/E
CA
RA
描述
求精
UML活动图的时序逻辑语义
期刊论文
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳
;
唐稚松
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/07/28
UML
活动图
形式化语义
时序逻辑
XYZ/E
活动图
线性时序逻辑语言
逻辑语义
UML Activity Diagrams
形式化
系统行为
语义转换
行为建模
描述系统
逻辑框架
动态行为
图结构
控制流
可表示
程序性
基础
©版权所有 ©2017 CSpace - Powered by
CSpace