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