ISO/IEC TR 24718:2005 信息技术-设计语言 在高保真系统中使用Ada Ravenscar 特征测验图的指南

标准编号：ISO/IEC TR 24718:2005

中文名称：信息技术-设计语言 在高保真系统中使用Ada Ravenscar 特征测验图的指南

英文名称：Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems

发布日期：2005-02

标准范围

This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show howAda programs using the profile can be analysed, and gives examples of usage.

标准预览图