|国家科技期刊平台
| 注册
首页|期刊导航|计算机与现代化|基于USE的OCL约束验证过程解析

基于USE的OCL约束验证过程解析

罗清胜 黎升洪

计算机与现代化Issue(12)：75-78,4.
✕
计算机与现代化Issue(12)：75-78,4.

基于USE的OCL约束验证过程解析

Parsing of OCL Constraints Confirmation with USE

罗清胜 1黎升洪1

作者信息

  • 1. 江西财经大学信息学院,江西,南昌,330013
  • 折叠

摘要

关键词

OCL约束/元模型/验证与确认

分类

信息技术与安全科学

引用本文复制引用

罗清胜,黎升洪..基于USE的OCL约束验证过程解析[J].计算机与现代化,2006,(12):75-78,4.

计算机与现代化

1006-2475

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