【英语版】国际标准 ISO/IEC TR 24718:2005 EN 信息技术 程序设计语言 Ada Ravenscar Profile 在高完整性系统中的使用指南 Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems.pdf
- 2
- 0
- 2024-07-10 发布于四川
-
正版发售
- 现行
- 正在执行有效期
- | 2005-02-17 颁布
- 1、本标准文档预览图片由程序生成,具体信息以下载为准。
- 2、本网站所提供的标准文本仅供个人学习、研究之用,未经授权,严禁复制、发行、汇编、翻译或网络传播等,侵权必究。
- 3、本网站所提供的标准均为PDF格式电子版文本(可阅读打印),因数字商品的特殊性,一经售出,不提供退换货服务。
- 4、标准文档要求电子版与印刷版保持一致,所以下载的文档中可能包含空白页,非文档质量问题
查看更多
ISO/IECTR24718:2005ENInformationtechnology—Programminglanguages—GuidefortheuseoftheAdaRavenscarProfileinhighintegritysystems是一个标准文件,主要涉及编程语言和在高度安全系统中使用AdaRavenscarProfile的指南。
Ada是一种面向对象的高级编程语言,被广泛用于航空航天、国防和许多其他高要求领域。AdaRavenscarProfile是Ada语言的一个特殊版本,它提供了一种更严格的安全性和可靠性保证,特别适合于高完整性系统。
该标准文件提供了以下内容:
*AdaRavenscarProfile的主要特性:它描述了该特殊版本的语言特性,包括其如何提供更强的类型系统和异常处理机制,以及如何更严格地限制程序员的自由度,从而增加系统的可靠性和安全性。
*使用AdaRavenscarProfile的步骤和最佳实践:该标准文件详细说明了如何使用AdaRavenscarProfile编写高完整性系统,包括选择正确的库和工具,以及如何编写安全的代码。
*对AdaRavenscarProfile的优点和限制的讨论:该标准文件讨论了使用AdaRavenscarProfile的优势,例如更高的安全性和可靠性,以及它的一些限制,例如它可能不适合所有类型的系统。
*对不同系统需求的评估:该标准文件还讨论了如何评估不同的系统需求,以确定是否适合使用AdaRavenscarProfile。
该标准文件旨在为使用Ada语言的高完整性系统开发人员提供指南,帮助他们了解和使用AdaRavenscarProfile来编写更安全、更可靠的代码。
您可能关注的文档
- 国际标准 ISO/IEC TR 23843:2020 EN 信息技术在学习、教育和培训中的应用-虚拟、增强和混合现实内容目录模型 Information technology for learning, education and training - Catalogue model for virtual, augmented and mixed reality content.pdf
- 国际标准 ISO/IEC TR 23843:2020 EN Information technology for learning, education and training - Catalogue model for virtual, augmented and mixed reality content 信息技术在学习、教育和培训中的应用-虚拟、增强和混合现实内容目录模型.pdf
- 国际标准 ISO/IEC TR 23843:2020 EN 用于学习、教育和培训的信息技术 虚拟、增强和混合现实内容的目录模型 Information technology for learning, education and training — Catalogue model for virtual, augmented and mixed reality content.pdf
- 国际标准 ISO/IEC TR 23843:2020 EN Information technology for learning, education and training — Catalogue model for virtual, augmented and mixed reality content 用于学习、教育和培训的信息技术 虚拟、增强和混合现实内容的目录模型.pdf
- 国际标准 ISO/IEC TR 23844:2023 EN 用于学习、教育和培训的信息技术 沉浸式内容和技术 Information technology for learning, education, and training — Immersive content and technology.pdf
- 国际标准 ISO/IEC TR 23844:2023 EN Information technology for learning, education, and training — Immersive content and technology 用于学习、教育和培训的信息技术 沉浸式内容和技术.pdf
- 国际标准 ISO/IEC TR 23844:2023 EN 信息技术在学习、教育和培训中的应用——身临其境的内容和技术 Information technology for learning, education, and training - Immersive content and technology.pdf
- 国际标准 ISO/IEC TR 23844:2023 EN Information technology for learning, education, and training - Immersive content and technology 信息技术在学习、教育和培训中的应用——身临其境的内容和技术.pdf
- 国际标准 ISO/IEC TR 23951:2020 EN 信息技术-云计算-使用云服务级别协议度量模型指南 Information technology - Cloud computing - Guidance for using the cloud SLA metric model.pdf
- 国际标准 ISO/IEC TR 23951:2020 EN Information technology - Cloud computing - Guidance for using the cloud SLA metric model 信息技术-云计算-使用云服务级别协议度量模型指南.pdf
文档评论(0)