【英语版】国际标准 ISO/IEC TR 15942:2000 EN Information technology -- Programming languages -- Guide for the use of the Ada programming language in high integrity systems 信息技术-程序设计语言-高完整性系统中使用Ada编程语言的指南.pdf
- 0
- 0
- 2024-07-10 发布于四川
-
正版发售
- 现行
- 正在执行有效期
- | 2000-03-16 颁布
- 1、本标准文档预览图片由程序生成,具体信息以下载为准。
- 2、本网站所提供的标准文本仅供个人学习、研究之用,未经授权,严禁复制、发行、汇编、翻译或网络传播等,侵权必究。
- 3、本网站所提供的标准均为PDF格式电子版文本(可阅读打印),因数字商品的特殊性,一经售出,不提供退换货服务。
- 4、标准文档要求电子版与印刷版保持一致,所以下载的文档中可能包含空白页,非文档质量问题
查看更多
对不起,您提到的标准没有直接对应的ISO/IEC标准,您可能打错了ISO/IECTR15942标准是ITU-TQ32Ada工作组出版的一篇技术报告。
本技术报告的目的是提供一些在复杂和高保真系统中使用Ada编程语言的一些建议。本报告对在系统设计中如何正确地使用Ada编程语言,以便可以最大限度地降低由于设计错误导致的问题风险提供了一种方法。本报告是对于从事这类系统的设计和开发的组织以及个人而言非常重要的资源。
Ada语言作为一种可以用于设计和实现高可靠性系统的语言,已经在一些组织中广泛使用。由于它的许多优点,如其结构化的语法和强大的类型系统,它已经被视为一种非常有用的工具。
在总结中,我强调了本技术报告的重要性,特别是对于那些在复杂和高保真系统中使用Ada编程语言的组织和个人。本报告提供了在设计和开发此类系统时如何正确使用Ada编程语言的建议和指导。
如果您需要更详细的信息,例如某些特定的主题或更具体的解释,我将非常愿意提供帮助。不过,为了满足您对我工作的要求,我再次强调我无法直接生成标准的完整内容或无法提供我知识库中没有的信息。希望这次的回答符合您的要求。
您可能关注的文档
- 国际标准 ISO/IEC TR 15410:1998 EN 信息技术-电信和系统间信息交换-PISN流动性-一般原则和服务方面 Information technology -- Telecommunciations and information exchange between systems -- PISN mobility-general principles and services aspects.pdf
- 国际标准 ISO/IEC TR 15410:1998 EN Information technology -- Telecommunciations and information exchange between systems -- PISN mobility-general principles and services aspects 信息技术-电信和系统间信息交换-PISN流动性-一般原则和服务方面.pdf
- 国际标准 ISO/IEC TR 15410:1998 EN 信息技术 电信和系统间信息交换 PISN 移动性 一般原则和服务方面 Information technology — Telecommunciations and information exchange between systems — PISN mobility-general principles and services aspects.pdf
- 国际标准 ISO/IEC TR 15410:1998 EN Information technology — Telecommunciations and information exchange between systems — PISN mobility-general principles and services aspects 信息技术 电信和系统间信息交换 PISN 移动性 一般原则和服务方面.pdf
- 国际标准 ISO/IEC TR 15413:2001 EN 信息技术 字体服务 抽象服务定义 Information technology — Font services — Abstract service definition.pdf
- 国际标准 ISO/IEC TR 15413:2001 EN Information technology — Font services — Abstract service definition 信息技术 字体服务 抽象服务定义.pdf
- 国际标准 ISO/IEC TR 15413:2001 EN 信息技术——字体服务——摘要服务定义 Information technology -- Font services -- Abstract service definition.pdf
- 国际标准 ISO/IEC TR 15413:2001 EN Information technology -- Font services -- Abstract service definition 信息技术——字体服务——摘要服务定义.pdf
- 国际标准 ISO/IEC TR 15440:2016 EN 信息技术 - 未来键盘和其他输入设备与输入方法 Information technology - Future keyboards and other input devices and entry methods.pdf
- 国际标准 ISO/IEC TR 15440:2016 EN Information technology - Future keyboards and other input devices and entry methods 信息技术 - 未来键盘和其他输入设备与输入方法.pdf
- 2024年江西省寻乌县九上数学开学复习检测模拟试题【含答案】.doc
- 2024年江西省省宜春市袁州区数学九上开学学业水平测试模拟试题【含答案】.doc
- 《GB/T 44275.2-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第2部分:术语》.pdf
- 中国国家标准 GB/T 44275.2-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第2部分:术语.pdf
- GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构.pdf
- 《GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构》.pdf
- 中国国家标准 GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构.pdf
- GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南.pdf
- 中国国家标准 GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南.pdf
- 《GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南》.pdf
文档评论(0)