第三方检测中心

第三方检测中心

信息技术 通用逻辑(CL):基于逻辑的语言族框架

基础信息

标准号:GB/T 30880-2014发布日期:2014-09-03实施日期:2015-02-01标准类别:基础中国标准分类号:L72国际标准分类号:35.060 归口单位:全国信息技术标准化技术委员会执行单位:全国信息技术标准化技术委员会程序设计语言分会主管部门:国家标准委

采标情况

本标准等同采用ISO/IEC国际标准:ISO/IEC 24707:2007。采标中文名称:信息技术 通用逻辑:基于逻辑的语言族框架。

起草单位

中国标准化研究院环境保护部信息中心北京科迪智标信息技术有限公司

起草人

孙广芝邢立强刘定刘彦东娄晓琳

相近标准(计划)

JR/T 0107.5-2014 统计数据和元数据交换(SDMX) 第5部分:注册表规范 逻辑功能和逻辑接口GB/T 15471-2013 逻辑分析仪通用规范GB/T 17645.20-2002 工业自动化系统与集成零件库第20部分:逻辑资源:表达式的逻辑模型GB/T 17645.24-2003 工业自动化系统与集成零件库第24部分: 逻辑资源: 供应商库的逻辑模型SJ/T 10148.5-1991 电气简图的编制方法逻辑图GB/T 33781-2017 可编程逻辑器件软件开发通用要求DL/T 2765-2024 输变电工程逻辑模型规范CB/T 3447-1992 船用气动逻辑元件GB/T 17645.25-2008 工业自动化系统与集成零件库第25部分:逻辑资源:带聚合值和显式内容的供应商库逻辑模型SY/T 6329-1997 气田开发数据库逻辑结构