期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
XYZ/E在CA认证系统的一个初步应用
被引量：
1
1
作者
刘俭云
戎玫
张广泉
《计算机工程与应用》
CSCD
北大核心
2005年第26期133-135,共3页
时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型,采用基于组件的逐步求精方法,用XYZ/E描述了CA认证系统的体系结构。
关键词
XYZ/E
ca软件体系结构
组件
连接件
在线阅读
下载PDF
职称材料
题名
XYZ/E在CA认证系统的一个初步应用
被引量：
1
1
作者
刘俭云
戎玫
张广泉
机构
苏州大学计算机科学与技术学院
暨南大学深圳旅游学院计算机中心
出处
《计算机工程与应用》
CSCD
北大核心
2005年第26期133-135,共3页
基金
国家自然科学基金(编号:60073020)
中国科学院计算机科学国家重点实验室开放课题(编号:SYSKF0303)
重庆市教委科学技术研究项目(编号:040803)
文摘
时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型,采用基于组件的逐步求精方法,用XYZ/E描述了CA认证系统的体系结构。
关键词
XYZ/E
ca软件体系结构
组件
连接件
Keywords
XYZ/E,
ca
, software architecture,component,connector
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
XYZ/E在CA认证系统的一个初步应用
刘俭云
戎玫
张广泉
《计算机工程与应用》
CSCD
北大核心
2005
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
