한국표준정보망

회원가입 로그인 비회원(주문조회) 장바구니 이용안내

English
메뉴
검색 마이페이지 장바구니0

QUICK

닫기

TOP

해외표준 상세정보

관심표준 등록 : 표준업데이트 시 알림서비스

제공형태 더보기

  • subList_img01

    구판

    판매

    ISO/IEC 8652:2012

    Information technology — Programming languages — Ada
    • 발행일 : 2012-12-10
    • 발행기관 : ISO/IEC
    즐겨찾기 장바구니 담기
    닫기

    상품이 장바구니에 담겼습니다.

    장바구니로 이동

    • [영어]PDF 110,200원

    • [영어]PRINT 110,200원

상세정보

분야 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

이력정보

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/Cor 1:2016상세보기 Information technology — Programming languages — Ada — Technical Corrigendum 1 2016-01-26 구판
4 ISO/IEC 8652:2012/COR1: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/COR1:2001상세보기 Information technology - Programming languages - Ada - Technical Corrigendum 1 2001-06-28 구판
11 ISO/IEC 8652:1995/Cor 1: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 구판

관련상품

  • 관련상품이 존재하지 않습니다.

다른 사람이 함께 구입한 상품

  • 함께 구입한 상품이 존재하지 않습니다.

추천 상품

제공형태 닫기

  • PDF :

    직접 파일 다운로드 및 인쇄(마이페이지 확인)

  • 보안PDF :

    직접 파일 다운로드 및 인쇄(마이페이지 확인)* 단, 파일이동 및 복사 불가, 1회 다운로드 및 인쇄가능

  • PRINT :

    인쇄본 우편발송, 2~3일 소요(PDF파일 미제공)

  • BOOK :

    인쇄본 우편발송, 2~3일 소요(PDF파일 미제공)

  • ZIP :

    압축파일형태로 제공 (PDF, HTML, TXT, XLS 등으로 구성), 직접 파일 다운로드(마이페이지 확인)

  • CD/DVD :

    직접 파일 다운로드 및 인쇄(마이페이지 확인)

  • DB :

    별도 정보 제공

  • HARDCOPY :

    해외 배송 상품, 최대 3주 소요

  • 바인더 :

    바인더 우편발송, 2~3일 소요

  • 온라인구독 :

    WEB 접속 후 실시간 열람, 출력(1년간)