首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 ГОСТ 27831-88
到馆阅读
收藏跟踪
购买正版
Язык программирования АДА 编程语言Ada
实施日期: 1989-07-01
本标准规定了用于开发用于不同的目的,其中包括实时的工作,以及手段编译,测试和调试程序方案ADA编程语言的基本描述。在决策的过程中测试的过程和接受在ADA程序的语言系统编程的,这个标准是它们完全遵守仅在存在和使用的测试系统的ADA语言的确定按规定方式同意的基础
Настоящий стандарт устанавливает базовое описание языка программирования АДА, применяемого для разработки программ различного назначения, в том числе работающих в реальном масштабе времени, а также средств компиляции, тестирования и отладки программ. В процессе принятия решений при проведении испытаний и приемке систем программирования и программ на языке АДА настоящий стандарт является основанием для определения их полного соответствия языку АДА только при наличии и применении систем тестов, согласованных в установленном порядке
分类信息
关联关系
研制信息
相似标准/计划/法规
现行
KS X 2504-3(2018 Confirm)
컴퓨터 그래픽 인터페이스 지원 - 제3부 : ADA
信息技术图形学-接口技术与图形设备(CGI)-language BINDINGS-第3部分DIALOGUES:ADA
2003-07-25
现行
BS PD ISO/IEC TR 24772-2-2020
Programming languages. Guidance to avoiding vulnerabilities in programming languages-Ada
编程语言 避免编程语言中的漏洞的指南
2020-04-03
现行
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 24772-2-2020
Programming languages - Guidance to avoiding vulnerabilities in programming languages - Part 2: Ada
编程语言.避免编程语言漏洞的指南.第2部分:Ada
2020-04-02
现行
ISO/IEC TR 24772-2-2020
Programming languages — Guidance to avoiding vulnerabilities in programming languages — Part 2: Ada
编程语言.避免编程语言中漏洞的指南.第2部分:Ada
2020-04-02
现行
BS ISO/IEC 18009-1999
Information technology. Programming languages. Ada: conformity assessment of a language processor
信息技术 编程语言 Ada:语言处理器的合格评定
2000-12-15
现行
ISO/IEC 18009-1999
Information technology -- Programming languages -- Ada: Conformity assessment of a language processor
信息技术程序设计语言Ada:语言处理器的合格评定
1999-12-16
现行
ISO/IEC 18009-1999
Information technology — Programming languages — Ada: Conformity assessment of a language processor
信息技术——编程语言——Ada:语言处理器的合格评定
1999-12-16
现行
IEEE 990-1987
IEEE Recommended Practice for Ada As a Program Design Language
作为程序设计语言的Ada的IEEE推荐规程
1987-01-22
现行
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