首页> 中文期刊> 《计算机应用与软件》 >静态数据模型的形式化表示

静态数据模型的形式化表示

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

本文论述了如何将OMT规范中的静态数据模型表示成BAMN中的MACHINE结构.

著录项

来源
《计算机应用与软件》 |2001年第3期|43-46|共4页
作者
董天石; 王悦; 陈玉泉;
展开▼
作者单位

上海交通大学计算机科学与工程系;

上海交通大学计算机科学与工程系;

上海交通大学计算机科学与工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机软件;
关键词
OMTBAMN静态数据模型MACHNE;

相似文献

中文文献
外文文献
专利

1. 中文叙词表本体的形式化表示与SKOS的比较研究——以及对建立中文知识组织系统形式化表示标准体系的建议 [J] . 曾新红 . 中国图书馆学报 . 2010,第002期
2. 三维巷道网络数据模型的形式化描述 [J] . 张志华 ,侯恩科 ,罗晓霞 . 计算机工程 . 2012,第019期
3. OO数据库数据模型的形式化 [J] . 魏平 ,李敬文 . 兰州交通大学学报 . 1999,第005期
4. 面向对象数据模型的形式化描述 [J] . 尹七春 ,柳诚飞 ,邵志清 . 计算机学报 . 1995,第007期
5. 静态程序分析过程中形式化验证工具Frama-C的应用 [J] . 崔少轩 ,喻慎 . 计算技术与自动化 . 2019,第001期
6. 一种基于Delaunay三角网的空间场表达的形式化数据模型 [C] . 艾廷华 . 中国测绘学会第八次全国会员代表大会暨2005年综合性学术年会 . 2005
7. 一体化医学语言系统的中文化和形式化表示研究 [A] . 沈彤 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号