|国家科技期刊平台
| 注册
首页|期刊导航|南京邮电大学学报（自然科学版）|UML 2.0的形式化语义研究

UML 2.0的形式化语义研究

张广泉 戎玫 黄正宝

南京邮电大学学报（自然科学版）2007，Vol.27Issue(3)：39-43,5.
✕
南京邮电大学学报（自然科学版）2007，Vol.27Issue(3)：39-43,5.

UML 2.0的形式化语义研究

Formal Semantics of UML 2.0

张广泉 1戎玫 2黄正宝3

作者信息

  • 1. 苏州大学,计算机科学与技术学院,江苏,苏州,215006
  • 2. 重庆师范大学,数学与计算机学院,重庆,400047
  • 3. 暨南大学,深圳旅游学院,广东,深圳,518053
  • 折叠

摘要

关键词

线性时序逻辑/形式化语义/UML2.0/顺序图/状态图/XYZ/E

分类

信息技术与安全科学

引用本文复制引用

张广泉,戎玫,黄正宝..UML 2.0的形式化语义研究[J].南京邮电大学学报（自然科学版）,2007,27(3):39-43,5.

基金项目

江苏省高校自然科学基金(05KJB520119)、中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)和重庆市自然科学基金(CSTC2006BB2259)资助项目 （05KJB520119）

南京邮电大学学报（自然科学版）

OACSTPCD

1673-5439

访问量0
|
下载量0
段落导航相关论文