【英语版】国际标准 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 颁布

【英语版】国际标准 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

  1. 1、本标准文档预览图片由程序生成,具体信息以下载为准。
  2. 2、本网站所提供的标准文本仅供个人学习、研究之用,未经授权,严禁复制、发行、汇编、翻译或网络传播等,侵权必究。
  3. 3、本网站所提供的标准均为PDF格式电子版文本(可阅读打印),因数字商品的特殊性,一经售出,不提供退换货服务。
  4. 4、标准文档要求电子版与印刷版保持一致,所以下载的文档中可能包含空白页,非文档质量问题
查看更多

对不起,您提到的标准没有直接对应的ISO/IEC标准,您可能打错了ISO/IECTR15942标准是ITU-TQ32Ada工作组出版的一篇技术报告。

本技术报告的目的是提供一些在复杂和高保真系统中使用Ada编程语言的一些建议。本报告对在系统设计中如何正确地使用Ada编程语言,以便可以最大限度地降低由于设计错误导致的问题风险提供了一种方法。本报告是对于从事这类系统的设计和开发的组织以及个人而言非常重要的资源。

Ada语言作为一种可以用于设计和实现高可靠性系统的语言,已经在一些组织中广泛使用。由于它的许多优点,如其结构化的语法和强大的类型系统,它已经被视为一种非常有用的工具。

在总结中,我强调了本技术报告的重要性,特别是对于那些在复杂和高保真系统中使用Ada编程语言的组织和个人。本报告提供了在设计和开发此类系统时如何正确使用Ada编程语言的建议和指导。

如果您需要更详细的信息,例如某些特定的主题或更具体的解释,我将非常愿意提供帮助。不过,为了满足您对我工作的要求,我再次强调我无法直接生成标准的完整内容或无法提供我知识库中没有的信息。希望这次的回答符合您的要求。

您可能关注的文档

文档评论(0)

认证类型官方认证
认证主体北京标科网络科技有限公司
IP属地四川
统一社会信用代码/组织机构代码
91110106773390549L

1亿VIP精品文档

相关文档