【国外标准】 Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)
本网站 发布时间:
- CAN/CSA-ISO/IEC TR 24718-06
- 现行
- 定价: 1593元 / 折扣价: 1355 元
- 在线阅读
开通会员免费在线看70000余条国内标准,赠送文本下载次数,单本最低仅合13.3元!还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权!  
查看详情>>
标准简介
适用范围:
This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.
标准号:
CAN/CSA-ISO/IEC TR 24718-06
标准名称:
Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)
英文名称:
Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)标准状态:
现行-
发布日期:
-
实施日期:
出版语种:
英文
- 其它标准
- 上一篇: CAN/CSA-ISO/IEC TR 24704-06 Information Technology - Customer Premises Cabling for Wireless Access Points (Adopted ISO/IEC TR 24704:2004, first edition, 2004-07)
- 下一篇: CAN/CSA-ISO/IEC TR 24746-06 Information Technology - Generic Cabling for Customer Premises - Mid-Span DTE Power Insertion (Adopted ISO/IEC TR 24746:2005, first edition, 2005-08)
- 推荐标准
- 国家标准计划
- BS ISO 24138:2024 Information and documentation. International Standard Content Code (ISCC)
- PD ISO/IEC TR 24030:2024 Information technology. Artificial intelligence (AI). Use cases
- BS ISO/IEC 30137-1:2024 Information technology. Use of biometrics in video surveillance systems
- BS EN IEC 62368-1:2024 Audio/video, information and communication technology equipment
- 24/30486372 DC BS ISO 26324 Information and documentation - Digital object identifier system
- BS ISO 22450:2020 Recycling of rare earth elements. Requirements for providing information on industrial waste
- BS ISO/IEC 19763-6:2015+A1:2024 Information technology. Metamodel framework for interoperability (MFI)
- 24/30458796 DC BS EN ISO 19152-4 Geographic information - Land Administration Domain Model (LADM)
- BS EN IEC 62368-1:2024+A11:2024 Audio/video, information and communication technology equipment
- 24/30487300 DC BS EN ISO/IEC 23090-5 Information technology - Coded representation of immersive media
- BS EN IEC 62368-1:2024 - TC Tracked Changes. Audio/video, information and communication technology equipment
- 24/30487738 DC Draft BS EN ISO/IEC 26132 Information technology. OpenID connect. OpenID connect discovery 1.0
- 24/30487754 DC Draft BS EN ISO/IEC 26135 Information technology. OpenID connect. OpenID connect session management
- 24/30487758 DC BS EN ISO/IEC 26136. Information technology. OpenID connect. OpenID connect front-channel logout
- 24/30487762 DC BS EN ISO/IEC 26137. Information technology. OpenID connect. OpenID connect back-channel logout 1.0