首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
国家标准 行业标准 地方标准 团体标准 国际（区域）标准 国外国家标准 国际性专业标准 技术法规
国内舆情 国际舆情
文献服务 知识服务 服务站点
标准数字化 技贸措施研究
国家标准馆 国家数字标准馆 发展大事记
现行 KS X ISO/IEC 13817-1-2007(2017)
到馆提醒
收藏跟踪
购买正版
정보기술－프로그래밍 언어,환경 및 시스템 소프트웨어 인터페이스－비엔나 개발방법－언어사양－제1부：기본언어 信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基础语言
发布日期： 2007-11-30
1.1该规格对ISO/IEC13817模型基础的语言规范VDM-SL（维也纳开发方法-语言规范）进行说明。它如下。a）两种表示:数学上的和相互转换b）语法c）静态语义句d）动态语义句e）规范和工具的一致性以下在此规格中没有明确说明。a）证明的无b）具体化规则c）超过任意特殊数据处理系统能力的规范的大小或复杂性或特殊工具的能力，当超过类似限制时给出的行为d），可以支持工具执行的数据处理系统的最低要求e）工具记录错误的使用方法
1.1 이 규격은 ISO/IEC 13817 모델의 기초가 되는 언어 사양인 VDM-SL(비엔나 개발방법－언어사 양)에 대하여 명시한다. 그것은 아래과 같다. a) 두 가지 표시：수학적인 그리고 상호변환 b) 구문 c) 정적 의미문 d) 동적 의미문 e) 사양과 도구에 대한 일치성 다음은 이 규격에서 명시하지 않는다. a) 증명의무 b) 구체화 규칙 c) 임의의 특별한 데이터 처리시스템의 능력을 초과하는 사양의 크기 또는 복잡성 또는 특별한 도구 의 능력, 유사한 한계가 초과될 때 주어지는 행동들 d) 도구의 실행을 지원할 수 있는 데이터 처리시스템의 최소한의 요구사항 e) 도구의 기록오류에 대한 사용방법
分类信息
发布单位或类别： 韩国-韩国标准
ICS分类： 35.060信息技术、办公机械 - 信息技术用语言
关联关系
研制信息
相似标准/计划/法规
现行
BS ISO/IEC 13816-1997
Information technology. Programming languages, their environments and system software interfaces. Programming language ISLISP
信息技术 编程语言及其环境和系统软件接口 编程语言ISLISP
1997-11-15
现行
KS X 2029(2021 Confirm)
정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 프로그래밍 언어 ISLISP
信息技术.编程语言及其环境和系统软件接口.编程语言ISLISP
2001-04-09
现行
KS X 2029(2017 Confirm)
정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 프로그래밍 언어 ISLISP
信息技术.编程语言及其环境和系统软件接口.编程语言ISLISP
2001-04-09
现行
ISO/IEC 1989-2023
Information technology — Programming languages, their environments and system software interfaces — Programming language COBOL
信息技术.程序设计语言、环境和系统软件接口.程序设计语COBOL
2023-01-31
现行
ISO/IEC 13816-2007
Information technology — Programming languages, their environments and system software interfaces — Programming language ISLISP
信息技术——编程语言及其环境和系统软件接口——程序设计语言ISLISP
2007-10-01
现行
BS ISO/IEC 13751-2001
Information technology. Programming languages, their environments and system software interfaces. Programming language Extended APL
信息技术 编程语言及其环境和系统软件接口 程序设计语言扩展APL
2001-03-15
现行
ISO/IEC 13751-2001
Information technology — Programming languages, their environments and system software interfaces — Programming language Extended APL
信息技术——编程语言及其环境和系统软件接口——程序设计语言扩展APL
2001-01-18
现行
BS PD ISO/IEC TR 19755-2003
Information technology. Programming languages, their environments and system software interfaces. Object finalization for programming language COBOL
信息技术 编程语言及其环境和系统软件接口 编程语言COBOL的对象终结
2004-01-30
现行
ISO/IEC TR 10182-2016
Information technology - Programming languages, their environments and system software interfaces - Guidelines for language bindings
信息技术.编程语言及其环境和系统软件接口.语言绑定指南
2016-03-10
现行
BS PD ISO/IEC TR 10182-2016
Information technology. Programming languages, their environments and system software interfaces. Guidelines for language bindings
信息技术 编程语言及其环境和系统软件接口 语言绑定指南
2016-03-31
现行
BS ISO/IEC 11404-1996
Information technology. Programming languages, their environments and system software interfaces. Language-independent datatypes
信息技术 编程语言及其环境和系统软件接口 与语言无关的数据类型
1997-04-15
现行
KS X ISO/IEC 11404(2021 Confirm)
정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 언어 독립 자료형
信息技术编程语言及其环境和系统软件接口语言独立的数据类型
2001-12-31
现行
KS X ISO/IEC 11404(2017 Confirm)
정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 언어 독립 자료형
信息技术编程语言及其环境和系统软件接口语言独立数据类型
2001-12-31
现行
GB/T 18221-2000
信息技术 程序设计语言、环境与系统软件接口 独立于语言的数据类型
Information technology--Programming languages，their environments and system software interfaces--Language-independent datatypes
2000-10-17
现行
ISO/IEC TR 10182-2016
Information technology — Programming languages, their environments and system software interfaces — Guidelines for language bindings
信息技术 - 编程语言 其环境和系统软件接口 - 语言绑定指南
2016-03-10
现行
BS ISO/IEC 13817-1-1996
Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language-Base language
信息技术 编程语言及其环境和系统软件接口 维也纳开发方法 规范语言 基础语言
1997-04-15
现行
INCITS/ISO/IEC 9899-2011(2012)
Information technology - Programming languages - C
信息技术.编程语言.C
2012-05-23
现行
ISO/IEC 23270-2018
Information technology - Programming languages - C#
信息技术.程序设计语言.C#
2018-12-12
现行
BS ISO/IEC 9899-2018
Information technology. Programming languages. C
信息技术 编程语言 C
2018-07-13
现行
BS ISO/IEC 15145-1997
Information technology. Programming languages. FORTH
信息技术 编程语言 向前地
1997-11-15
  • 关于国家数字标准馆
  • 《国家标准化发展纲要》提出建设国家数字标准馆，推动标准化工作向数字化、网络化、智能化转型。中国标准化研究院正在全力推进国家数字标准馆建设，力争在2026年底建成“一个中心”和“一个平台”，即全球领先的标准数据资源中心，涵盖标准全生命周期的数字化、网络化、智能化研究与服务平台。
    • 文献服务
  • 查标准
  • 看标准
  • 买标准
  • 译标准
    • 知识服务
  • 查新颖性
  • 查有效性
  • 跟踪标准
  • 比对标准
    • 标准数字化
  • 专题数据库
  • 标准管理系统
  • 大数据分析系统
  • 标准智能研制系统
    • 出版物经营许可证：新出发京批字第直170229号
    地址：北京市海淀区知春路4号
    邮箱：service@cnis.ac.cn
    技术支持与订单查询：010-58811972/1360/1341/1328 京ICP备10046988号-46
    ️版权归中国标准化研究院所有