首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 KS X ISO/IEC 10514-1-2007(2022)
到馆提醒
收藏跟踪
购买正版
정보기술-프로그래밍 언어-제1부:Modula-2, 기본 언어 信息技术程序设计语言第1部分:基本语言Modula-2
发布日期: 2007-11-30
这个规格的目的如下。通过提供数学模型,为标准库和语言模块-2提供定义——为解决标准库和模块-2的不同解释之间的差异——为消除重复的本质缺陷或不适合的特性——之后提供现代化和标准化,以维持模块-2的一般原理。为此,该规格规定:注释性语句、文本(literal)、包含源代码指示器的模块化-2表示程序所需的符号-2模块化-2程序的语法结构、语法结构,包括使用系统模块的程序。意义论——标准模块化-2库模块的意义论接口——标准库模块的分离模块——标准库模块和语言,对于系统模块的使用,违反规则-适用的实施应满足的程序大小和复杂性的任意标准-实施的适用性要求,包括文档要求,规格中不规定以下内容:预定义数据类型的基本表示法(packedset type)除外7.1.7.1]-调用实现的方法(包括程序模块的标识符和关联定义以及实现模块)-保存编译模块的方法(包括将使用文件的系统文件名和模块名之间的对应关系)-输入的实现方法[包括每个调用的编译模块的数量和原始文本的编码(encoding)]-质量的观点和实现的性能观点(1.2不包括)-超出此标准或从标准库模块扩展,系统模块扩展,使用语言扩展的程序运行结果—无例外地继续运行,在发生异常时继续运行程序的结果—依赖于实施依赖行为或实施依赖值定义的程序的含义
이 규격의 목적은 다음과 같다. -수학적 모형을 제공함으로써 표준 라이브러리와 언어 모듈러-2의 정의를 제공하기 위해 -표준 라이브러리와 모듈러-2의 다른 해석의 차이점을 해결하기 위해 -중복되고 본질적인 결함이나 비적합성의 특성을 제거하기 위해 -후에 현대화와 표준화를 제공하여 모듈러-2의 일반적인 원리를 유지하기 위해 이 규격은 다음을 명시한다. ― 주석문, 리터럴(literal), 소스 코드 지시자를 포함하는 모듈러-2 프로그램 표현을 위한 요구된 기호 ― 시스템 모듈을 사용하는 프로그램을 포함하여 모듈러-2 프로그램의 문법적 구조화, 구문적 구조, 의미론 ― 표준 모듈러-2 라이브러리 모듈의 의미론으로 인터페이스 ― 적합한 구현에 요구되는 표준 라이브러리의 분리된 모듈 ― 적합한 구현에 요구되는 표준 라이브러리 모듈과 언어, 시스템 모듈의 사용을 위해 규칙 위반 ― 적합한 구현이 수용해야 할 프로그램의 크기와 복잡성에 대한 임의의 기준 ― 문서 요구사항을 포함하는 구현을 위한 적합성 요구사항 이 규격에 다음은 명시하지 않는다. ― 미리 정의된 자료형의 기본적인 표현[팩집합형(packedset type)은 제외 7.1.7.1] ― 구현이 호출되는 방법(프로그램 모듈의 식별자와 연관 정의와 구현 모듈을 포함) ― 컴파일 모듈이 저장되는 방법(파일이 사용될 시스템 파일 이름과 모듈 이름 사이에 대응 포함) ― 입력받는 구현 방법[각 호출을 위해 컴파일 모듈의 수와 원시 텍스트의 인코딩(encoding)을 포함] ― 1.2에 의해 포함되지 않은 품질의 관점과 구현의 성능 관점 ― 이 규격에서 벗어나거나 표준 라이브러리 모듈에서 확장, 시스템 모듈의 확장, 언어의 확장을 사 용하는 프로그램 실행 결과 ― 예외 사항 없이 실행이 계속되고 예외 발생에서 프로그램 실행이 계속되는 결과 ― 구현 종속 행동이나 구현 종속값의 정의에 의존하는 프로그램의 의미
分类信息
关联关系
研制信息
相似标准/计划/法规
现行
KS X ISO/IEC 10514-1(2017 Confirm)
정보기술-프로그래밍 언어-제1부:Modula-2, 기본 언어
信息技术程序设计语言第1部分:Modula-2基本语言
2007-11-30
现行
ISO/IEC 10514-1-1996
Information technology — Programming languages — Part 1: Modula-2, Base Language
信息技术——编程语言SPART 1:Modula-2 基础语言
1996-05-30
现行
BS ISO/IEC 10514-1-1996
Information technology. Programming languages-Modula-2, base language
信息技术 编程语言 模块A-2 基础语言
1997-10-15
现行
ISO/IEC 10514-2-1998
Information technology — Programming languages — Part 2: Generics Modula-2
信息技术——编程语言SPART 2:泛型模块A-2
1998-12-03
现行
KS X ISO/IEC 10514-3(2017 Confirm)
정보기술 - 프로그래밍 언어 - 제3부 : 객체 지향성 모듈러 2
信息技术程序设计语言第3部分:面向对象模块2
2001-12-31
现行
KS X ISO/IEC 10514-3(2021 Confirm)
정보기술 - 프로그래밍 언어 - 제3부 : 객체 지향성 모듈러 2
信息技术程序设计语言第3部分:面向对象模块A-2
2001-12-31
现行
ISO/IEC 10514-3-1998
Information technology — Programming languages — Part 3: Object Oriented Modula-2
信息技术——编程语言SPART 3:面向对象的Modula-2
1998-12-03
现行
KS X ISO/IEC 13817-1(2017 Confirm)
정보기술-프로그래밍 언어,환경 및 시스템 소프트웨어 인터페이스-비엔나 개발방법-언어사양-제1부:기본언어
信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基础语言
2007-11-30
现行
KS X ISO/IEC 13817-1(2022 Confirm)
정보기술-프로그래밍 언어,환경 및 시스템 소프트웨어 인터페이스-비엔나 개발방법-언어사양-제1부:기본언어
信息技术程序设计语言及其环境和系统软件接口维也纳开发方法规范语言第1部分:基本语言
2007-11-30
现行
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