您的位置： 专家智库 > >

舒明

作品数：1 被引量：3H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇软件体系结构
  • 1篇体系结构
  • 1篇组件
  • 1篇连接件
  • 1篇XYZ/E
  • 1篇程序语义
  • 1篇I

机构

  • 1篇重庆师范学院
  • 1篇中国科学院软...

作者

  • 1篇郑建丹
  • 1篇张广泉
  • 1篇舒明

传媒

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

年份

  • 1篇2001
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于时态逻辑语言XYZ/E的软件体系结构研究(I)——基本组件和连接件的描述被引量：3
2001年
XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构。本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件 ;它为进一步描述体系结构风格提供了一个基础。
张广泉郑建丹舒明
关键词：XYZ/E软件体系结构组件连接件程序语义
全选 清除 导出
共1页<1>
聚类工具0