首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 KS X ISO/IEC 13817-1-2007(2022)
到馆提醒
收藏跟踪
购买正版
정보기술-프로그래밍 언어,환경 및 시스템 소프트웨어 인터페이스-비엔나 개발방법-언어사양-제1부:기본언어 信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基本语言
发布日期: 2007-11-30
1.1该规范规定了作为ISO/IEC 13817模型基础的语言规范VDM-SL(维也纳开发方法-语言规范)。它如下。a)两种表示:数学和相互转换b)语法c)静态语句d)动态语句e)规范和工具的一致性以下在本规范中没有说明。a)证明义务b)具体规则c)数据处理系统的最低要求e)工具的记录错误的使用方法
1.1 이 규격은 ISO/IEC 13817 모델의 기초가 되는 언어 사양인 VDM-SL(비엔나 개발방법-언어사 양)에 대하여 명시한다. 그것은 아래과 같다. a) 두 가지 표시:수학적인 그리고 상호변환 b) 구문 c) 정적 의미문 d) 동적 의미문 e) 사양과 도구에 대한 일치성 다음은 이 규격에서 명시하지 않는다. a) 증명의무 b) 구체화 규칙 c) 임의의 특별한 데이터 처리시스템의 능력을 초과하는 사양의 크기 또는 복잡성 또는 특별한 도구 의 능력, 유사한 한계가 초과될 때 주어지는 행동들 d) 도구의 실행을 지원할 수 있는 데이터 처리시스템의 최소한의 요구사항 e) 도구의 기록오류에 대한 사용방법
分类信息
关联关系
研制信息
相似标准/计划/法规
现行
KS X 2029(2017 Confirm)
정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 프로그래밍 언어 ISLISP
信息技术.编程语言及其环境和系统软件接口.编程语言ISLISP
2001-04-09
现行
KS X 2029(2021 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 13816-1997
Information technology. Programming languages, their environments and system software interfaces. Programming language ISLISP
信息技术 编程语言及其环境和系统软件接口 编程语言ISLISP
1997-11-15
现行
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
现行
KS X ISO/IEC 11404(2017 Confirm)
정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 언어 독립 자료형
信息技术编程语言及其环境和系统软件接口语言独立数据类型
2001-12-31
现行
KS X ISO/IEC 11404(2021 Confirm)
정보기술 - 프로그래밍 언어, 환경 및 시스템 소프트웨어 인터페이스 - 언어 독립 자료형
信息技术编程语言及其环境和系统软件接口语言独立的数据类型
2001-12-31
现行
ISO/IEC TR 10182-2016
Information technology — Programming languages, their environments and system software interfaces — Guidelines for language bindings
信息技术 - 编程语言 其环境和系统软件接口 - 语言绑定指南
2016-03-10
现行
GB/T 18221-2000
信息技术 程序设计语言、环境与系统软件接口 独立于语言的数据类型
Information technology--Programming languages,their environments and system software interfaces--Language-independent datatypes
2000-10-17
现行
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
现行
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
现行
KS X ISO/IEC 11756(2017 Confirm)
정보기술 - 프로그래밍 언어 - M
信息技术-程序设计语言-M
2001-12-31
现行
KS X ISO 7185(2019 Confirm)
정보 기술-전자계산기 프로그래밍 언어-파스칼
信息技术.程序设计语言.Pascal
2009-12-29
现行
ISO/IEC 15145-1997
Information technology — Programming languages — FORTH
信息技术——编程语言——向前地
1997-05-08
现行
KS X ISO/IEC 11756(2021 Confirm)
정보기술 - 프로그래밍 언어 - M
信息技术-编程语言-M
2001-12-31
现行
ISO/IEC 7185-1990
Information technology - Programming languages - Pascal
信息技术.程序设计语言.Pascal
1990-10-25