现行

BS ISO/IEC 18009-1999

Information technology. Programming languages. Ada: conformity assessment of a language processor
信息技术 编程语言 Ada:语言处理器的合格评定

2000-12-15

现行

ISO/IEC 8652-2023

Information technology - Programming languages - Ada
信息技术.程序设计语言.Ada

2023-05-02

现行

ISO/IEC 8652-2023

Information technology — Programming languages — Ada
信息技术.程序设计语言.Ada

2023-05-02

现行

ISO/IEC TR 15942-2000

Information technology — Programming languages — Guide for the use of the Ada programming language in high integrity systems
信息技术——编程语言——高完整性系统中Ada编程语言的使用指南

2000-03-16

现行

BS ISO/IEC TR 15942-2000

Information technology. Programming languages. Guide for the use of the Ada programming language in high integrity systems
信息技术 编程语言 Ada编程语言在高完整性系统中的使用指南

2000-12-15

现行

ISO/IEC TR 15942-2000

Information technology -- Programming languages -- Guide for the use of the Ada programming language in high integrity systems
信息技术程序设计语言高完整性系统中Ada程序设计语言使用指南

2000-03-16

现行

KS X ISO/IEC 12227(2011 Confirm)

정보기술 - 프로그래밍 언어 - SQL/Ada 모듈 표현 언어(SAMeDL)
信息技术 - 编程语言 - SQL/Ada模块描述语言（SAMeDL）

2001-12-31

现行

KS X ISO/IEC 12227(2021 Confirm)

정보기술 - 프로그래밍 언어 - SQL/Ada 모듈 표현 언어(SAMeDL)
信息技术程序设计语言SQL/Ada模块描述语言（SAMeDL）

2001-12-31

现行

KS X 2016(2017 Confirm)

아다(Ada) 일반원시함수 패키지
信息技术程序设计语言Ada基本函数通用包

2001-12-06

现行

KS X 2032(2017 Confirm)

정보기술 - 프로그래밍 언어 - Ada 의미 체계 인터페이스 명세(ASIS)
信息技术程序设计语言Ada语义接口规范（ASIS）

2001-04-17

现行

KS X 2016(2021 Confirm)

아다(Ada) 일반원시함수 패키지
信息技术—编程语言—Ada基本函数通用包

2001-12-06

现行

KS X 2032(2021 Confirm)

정보기술 - 프로그래밍 언어 - Ada 의미 체계 인터페이스 명세(ASIS)
信息技术—编程语言—Ada语义接口规范（ASIS）

2001-04-17

现行

DIN ISO/IEC 8652

Information technology, programming languages - Ada (ISO/IEC 8652:1995)
信息技术编程语言Ada（ISO/IEC 8652-1995）

1996-09-01

现行

ISO/IEC 15291-1999

Information technology -- Programming languages -- Ada Semantic Interface Specification (ASIS)
信息技术程序设计语言Ada语义接口规范

1999-04-29

现行

ISO/IEC 15291-1999

Information technology — Programming languages — Ada Semantic Interface Specification (ASIS)
信息技术——编程语言——Ada语义接口规范（ASIS）

1999-04-29

现行

KS X ISO 8652(2019 Confirm)

정보 기술－전자계산기 프로그래밍 언어 Ada
信息技术.程序设计语言.Ada（认可ANSI标准1815Au 1983）

2009-12-29

现行

BS ISO/IEC 13814-1998

Information technology. Programming languages. Generic package of complex elementary functions for Ada
信息技术 编程语言 Ada的复初等函数通用包

1998-09-15

现行

ISO/IEC TR 24718-2005

Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems
信息技术——编程语言——高完整性系统中Ada Ravenscar配置文件的使用指南

2005-02-17

现行

BS ISO/IEC 14519-2001

Information technology. POSIX Ada language interfaces. Binding for system application program interface (API)
信息技术 POSIX Ada语言接口 系统应用程序接口（API）绑定

2002-03-11

现行

BS PD ISO/IEC TR 24718-2005

Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems
信息技术 编程语言 高完整性系统中Ada Ravenscar配置文件的使用指南

2005-04-05