说明:收录25万 73个行业的国家标准 支持批量下载
文库搜索
切换导航
文件分类
频道
联系我们
问题反馈
文件分类
联系我们
问题反馈
批量下载
ICS 35.060 L 72 GB 中华人民共和国国家标准 GB/T30880—2014/IS0/IEC24707:2007 信息技术 通用逻辑(CL):基于逻辑的 语言族框架 Information technologyCommon Logic(CL) : a framework for a family of logic-based languages (ISO/IEC24707:2007,IDT) 2014-09-03发布 2015-02-01实施 中华人民共和国国家质量监督检验检疫总局 发布 中国国家标准化管理委员会 GB/T30880—2014/ISO/IEC24707:2007 目 次 前言 引言 范围 2 规范性引用文件 术语和定义 符号和缩略语 要求和设计概览 6 通用逻辑抽象语法与语义 7 符合性· 16 附录A(规范性附录) 通用逻辑交换格式(CLIF) A.1 概述 19 A.2 CLIF语法 20 A.3 CLIF语义 26 A.4 CLIF符合性 附录B(规范性附录) 概念图交换格式(CGIF) 29 B.1引言. 29 B.2 概念图核心语法和语义. 35 B.3扩展的CGIF语法 B.4 CGIF符合性 45 附录C(规范性附录) 可扩展通用逻辑置标语言(XCL) 49 C.1引言 49 C.2XCL语法 49 C.3XCL语义 66 C.4XCL符合性 66 参考文献 67
GB-T 30880-2014 信息技术 通用逻辑 CL :基于逻辑的语言族框架
文档预览
中文文档
72 页
50 下载
1000 浏览
0 评论
309 收藏
3.0分
赞助3.6元下载(无需注册)
温馨提示:本文档共72页,可预览 3 页,如浏览全部内容或当前文档出现乱码,可开通会员下载原始文档
下载文档到电脑,方便使用
赞助3.6元下载
本文档由 人生无常 于
2024-03-30 14:03:40
上传分享
举报
下载
原文档
(14.5 MB)
分享
友情链接
DB3311-T 76─2018 杨梅主要病虫害绿色防控技术规程 丽水市.pdf
T-CSAC 004—2023 网络靶场 试验任务导调总体要求.pdf
T-CHTS 10045—2021 公路货运车辆超限超载动态监测系统技术要求.pdf
红蓝对抗-蓝队作战手册.pdf
GB-T 36273-2018 智能变电站继电保护和安全自动装置数字化接口技术规范.pdf
DB45-T 2048-2019 微型消防站建设管理规范 广西壮族自治区.pdf
DB44-T 2189.2-2019 移动终端信息安全 第2部分:敏感信息安全等级保护与测评 广东省.pdf
T-HAEC 003—2020 工程监理资料管理标准化与信息化工作指南 房屋建筑工程.pdf
民航 MH-T 0046-2014 民航重要信息系统灾难备份与恢复实施规范.pdf
GB-T 38673-2020 信息技术 大数据 大数据系统基本要求.pdf
GB-T 3273-2015 汽车大梁用热轧钢板和钢带.pdf
GB-T 3978-2008 标准照明体和几何条件.pdf
GA-T 1202-2022 交通技术监控成像补光装置通用技术条件.pdf
ISO IEC 20924 2024 Internet of Things (IoT) and digital twin — Vocabulary.pdf
DB11-T 1231-2015 燃气工业锅炉节能监测 北京市.pdf
GB 35373-2017 氢氟烃类灭火剂.pdf
商用密码管理条例.pdf
GB-T 7702.7-2023 煤质颗粒活性炭试验方法 第7部分:碘吸附值的测定.pdf
GB-T 42632-2023 海洋生态环境水下有缆在线监测系统技术要求.pdf
数字化转型下的网络安全与弹性 安全内参.pdf
交流群
-->
1
/
3
72
评价文档
赞助3.6元 点击下载(14.5 MB)
回到顶部
×
微信扫码支付
3.6
元 自动下载
官方客服微信:siduwenku
支付 完成后 如未跳转 点击这里 下载
站内资源均来自网友分享或网络收集整理,若无意中侵犯到您的权利,敬请联系我们
微信(点击查看客服)
,我们将及时删除相关资源。