ISO/IEC 13817-1:1996-信息技术——编程语言及其环境和系统软件接口——维也纳开发方法——规范语言第1部分:基础语言 -国家数字标准馆

现行 ISO/IEC 13817-1:1996

到馆阅读

收藏跟踪

购买正版

Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language 信息技术——编程语言及其环境和系统软件接口——维也纳开发方法——规范语言第1部分:基础语言

发布日期： 1996-12-19

指定基于模型的规范语言VDM-SL（维也纳开发方法-规范语言）。包含数学和交换表示，给出语法、静态和动态语义，以及规范和工具的一致性。

Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.

分类信息

发布单位或类别：国际组织-国际标准化组织

ICS分类： 35.060信息技术、办公机械 - 信息技术用语言

关联关系

研制信息

归口单位： ISO/IEC JTC 1/SC 22

相似标准/计划/法规

BS ISO/IEC 13816-1997

Information technology. Programming languages, their environments and system software interfaces. Programming language ISLISP
信息技术编程语言及其环境和系统软件接口编程语言ISLISP

KS X 2029(2021 Confirm)

정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 프로그래밍 언어 ISLISP
信息技术.编程语言及其环境和系统软件接口.编程语言ISLISP

KS X 2029(2017 Confirm)

정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 프로그래밍 언어 ISLISP
信息技术.编程语言及其环境和系统软件接口.编程语言ISLISP

ISO/IEC 1989-2023

Information technology — Programming languages, their environments and system software interfaces — Programming language COBOL
信息技术.程序设计语言、环境和系统软件接口.程序设计语COBOL

ISO/IEC 13816-2007

Information technology — Programming languages, their environments and system software interfaces — Programming language ISLISP
信息技术——编程语言及其环境和系统软件接口——程序设计语言ISLISP

BS ISO/IEC 13751-2001

Information technology. Programming languages, their environments and system software interfaces. Programming language Extended APL
信息技术编程语言及其环境和系统软件接口程序设计语言扩展APL

ISO/IEC 13751-2001

Information technology — Programming languages, their environments and system software interfaces — Programming language Extended APL
信息技术——编程语言及其环境和系统软件接口——程序设计语言扩展APL

BS PD ISO/IEC TR 19755-2003

Information technology. Programming languages, their environments and system software interfaces. Object finalization for programming language COBOL
信息技术编程语言及其环境和系统软件接口编程语言COBOL的对象终结

ISO/IEC TR 10182-2016

Information technology - Programming languages, their environments and system software interfaces - Guidelines for language bindings
信息技术.编程语言及其环境和系统软件接口.语言绑定指南

BS PD ISO/IEC TR 10182-2016

Information technology. Programming languages, their environments and system software interfaces. Guidelines for language bindings
信息技术编程语言及其环境和系统软件接口语言绑定指南

BS ISO/IEC 11404-1996

Information technology. Programming languages, their environments and system software interfaces. Language-independent datatypes
信息技术编程语言及其环境和系统软件接口与语言无关的数据类型

KS X ISO/IEC 11404(2021 Confirm)

정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 언어 독립 자료형
信息技术编程语言及其环境和系统软件接口语言独立的数据类型

KS X ISO/IEC 11404(2017 Confirm)

정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 언어 독립 자료형
信息技术编程语言及其环境和系统软件接口语言独立数据类型

GB/T 18221-2000

信息技术程序设计语言、环境与系统软件接口独立于语言的数据类型
Information technology--Programming languages，their environments and system software interfaces--Language-independent datatypes

ISO/IEC TR 10182-2016

Information technology — Programming languages, their environments and system software interfaces — Guidelines for language bindings
信息技术 - 编程语言其环境和系统软件接口 - 语言绑定指南

BS ISO/IEC 13817-1-1996

Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language-Base language
信息技术编程语言及其环境和系统软件接口维也纳开发方法规范语言基础语言

INCITS/ISO/IEC 9899-2011(2012)

Information technology - Programming languages - C
信息技术.编程语言.C

ISO/IEC 23270-2018

Information technology - Programming languages - C#
信息技术.程序设计语言.C#

BS ISO/IEC 9899-2018

Information technology. Programming languages. C
信息技术编程语言 C

BS ISO/IEC 15145-1997

Information technology. Programming languages. FORTH
信息技术编程语言向前地

《国家标准化发展纲要》提出建设国家数字标准馆，推动标准化工作向数字化、网络化、智能化转型。中国标准化研究院正在全力推进国家数字标准馆建设，力争在2026年底建成“一个中心”和“一个平台”，即全球领先的标准数据资源中心，涵盖标准全生命周期的数字化、网络化、智能化研究与服务平台。

专题数据库

标准管理系统

大数据分析系统

标准智能研制系统