您的位置： 专家智库 > >

周瑾

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

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 3篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇形式化
  • 2篇UML
  • 1篇序列图
  • 1篇中间件
  • 1篇软件工程
  • 1篇软件设计
  • 1篇通信
  • 1篇通信模式
  • 1篇状态图
  • 1篇网络
  • 1篇网络通讯
  • 1篇络通
  • 1篇类图
  • 1篇UML类图

机构

  • 3篇中国科学院软...

作者

  • 3篇周瑾
  • 2篇马应龙
  • 2篇吴志林
  • 2篇李巍

传媒

  • 1篇计算机科学
  • 1篇中国科学院计...

年份

  • 2篇2005
  • 1篇2004
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
UML的形式化及其应用
本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础.本文给出了UML类图、序列图和状态图的代数表达并用例...
周瑾马应龙李巍吴志林
关键词：UML软件设计形式化
文献传递
UML的形式化及其应用被引量：22
2005年
本文介绍一个面向度量的UML的代数表达框架。这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础。本文绘出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的。
周瑾马应龙李巍吴志林
关键词：形式化软件工程UML类图序列图状态图
中间件通讯服务的研究与实现
本文提出的中间件通讯服务(Middleware Communication Service，简称MCS)在其原型系统——分布式事务中间件OnceTX2.0的通讯部分实现的基础上，采用和改进现有技术，抽象出中间件中通讯服务...
周瑾
关键词：中间件网络通讯通信模式
文献传递
全选 清除 导出
共1页<1>
聚类工具0