관심표준 등록 : 표준업데이트 시 알림을 받을 수 있습니다.
PDF : 직접 파일 다운로드 및 인쇄 (마이페이지 확인)
PRINT : 인쇄본 우편발송, 2~3일 소요(PDF파일 미제공)
분야 | ISO/IEC JTC 1/SC 22 : Programming languages, their environments and system software interfaces |
---|---|
적용범위 | ISO/IEC 8652:2012 specifies the form and meaning of programs written in the programming language Ada. Its purpose is to promote the portability of Ada programs to a variety of computing systems. This third edition of ISO/IEC 8652 focuses on improvements in those user domains where safety and criticality are prime concerns. It enhances the functionality of containers, improves the ability to write and enforce contracts for Ada entities (for instance, via preconditions), and adds to the capabilities of Ada to perform on multicore and multithreaded architectures. Ada is designed to support the construction of long‐lived, highly reliable software systems. The language includes facilities to define packages of related types, objects, and operations. The packages may be parameterized and the types may be extended to support the construction of libraries of reusable, adaptable software components. The operations may be implemented as subprograms using conventional sequential control structures, or as entries that include synchronization of concurrent threads of control as part of their invocation. Ada supports object‐oriented programming by providing classes and interfaces, inheritance, polymorphism of variables and methods, and generic units. The language treats modularity in the physical sense as well, with a facility to support separate compilation. The language provides rich support for real‐time, concurrent programming, and includes facilities for multicore and multiprocessor programming. Errors can be signaled as exceptions and handled explicitly. The language also covers systems programming; this requires precise control over the representation of data and access to system‐dependent properties. Finally, a predefined environment of standard packages is provided, including facilities for, among others, input‐output, string manipulation, numeric elementary functions, random number generation, and definition and use of containers. Foremost in the design of Ada is the intent to increase the reliability of programs by compiletime checking and rejection of unsafe programs. |
국제분류(ICS)코드 | 35.060 : 정보 기술 용어 |
페이지수 | 832 |
Edition | 3.0 |
No. | 표준번호 | 표준명 | 발행일 | 상태 |
---|---|---|---|---|
1 | ISO/IEC 8652:2023 | Information technology — Programming languages — Ada | 2023-05-02 | 표준 |
2 | ISO/IEC 8652:2023 | Information technology - Programming languages - Ada | 2023-05-02 | 표준 |
3 | ISO/IEC 8652:2012/COR1:2016 | Information technology - Programming languages - Ada - Technical Corrigendum 1 | 2016-01-26 | 구판 |
4 | ISO/IEC 8652:2012/Cor 1:2016 | Information technology — Programming languages — Ada — Technical Corrigendum 1 | 2016-01-26 | 구판 |
5 | CSA ISO/IEC 8652:15 (R2019) | Information technology - Programming languages - Ada (Adopted ISO/IEC 8652:2012, third edition, 2012-12-15) | 2015-01-01 | 표준 |
6 | ISO/IEC 8652:2012 | Information technology - Programming languages - Ada | 2012-12-10 | 구판 |
7 | ISO/IEC 8652:2012 | Information technology — Programming languages — Ada | 2012-12-10 | 구판 |
8 | ISO/IEC 8652:1995/AMD1:2007 | Information technology - Programming languages - Ada - Amendment 1 | 2007-03-09 | 구판 |
9 | ISO/IEC 8652:1995/Amd 1:2007 | Information technology — Programming languages — Ada — Amendment 1 | 2007-03-09 | 구판 |
10 | ISO/IEC 8652:1995/Cor 1:2001 | 2001-06-28 | 구판 | |
11 | ISO/IEC 8652:1995/COR1:2001 | Information technology - Programming languages - Ada - Technical Corrigendum 1 | 2001-06-28 | 구판 |
12 | ISO/IEC 8652:1995 | Information technology - Programming languages - Ada | 1995-02-23 | 구판 |
13 | ISO/IEC 8652:1995 | Information technology — Programming languages — Ada | 1995-02-23 | 구판 |
관련상품이 존재하지 않습니다.
ISO/IEC 1539-1:2018 - Information technology - Programming languages - Fortran - Part 1: Base language 상세보기
IEC 62619:2017 - Secondary cells and batteries containing alkaline or other non-acid electrolytes - Safety requirements for secondary lithium cells and batteries, for use in industrial applications 상세보기
ISO/IEC 10206:1991 - Information technology - Progamming languages - Extended Pascal 상세보기
IEC TS 63134:2020 - Active assisted living (AAL) use cases 상세보기
IEC 60034-5:2020 RLV - Rotating electrical machines - Part 5: Degrees of protection provided by the integral design of rotating electrical machines (IP code) - Classification 상세보기
KS B ISO TS 25740-1 - 에스컬레이터 및 무빙워크에 대한 안전요건 — 제1부: 세계공통 필수 안전요건(GESRs) 상세보기
KS B ISO TS 8100-21 - 승객 및 화물 운송용 엘리베이터 —제21부: 세계공통 필수안전요건(GESRs)을 충족하는 세계공통 안전 파라미터(GSPs) 상세보기
KS C IEC TS 62872 - 산업 시설과 스마트 그리드 사이의 산업 공정 측정, 제어 및 자동화 시스템 인터페이스 상세보기