您的位置： 专家智库 > >

刘剑云

作品数：1 被引量：2H指数：1
供职机构：无锡商业职业技术学院信息工程系更多>>
发文基金：重庆市教育委员会科学技术研究项目国家重点实验室开放基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇体系结构
  • 1篇组件
  • 1篇RA
  • 1篇XYZ/E
  • 1篇CA

机构

  • 1篇无锡商业职业...
  • 1篇重庆师范大学
  • 1篇中国科学院软...

作者

  • 1篇张广泉
  • 1篇黄正宝
  • 1篇刘剑云

传媒

  • 1篇重庆师范大学...

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于XYZ/E的CA系统体系结构描述被引量：2
2005年
XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见。本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例。
张广泉刘剑云黄正宝
关键词：XYZ/ECARA体系结构组件
全选 清除 导出
共1页<1>
聚类工具0