ISO/IEC TS 24718:2025
مواصفة قياسية دولية
الإصدار الحالي
·
اعتمدت بتاريخ
٢٤ يناير ٢٠٢٥
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
ملفات الوثيقة ISO/IEC TS 24718:2025
الإنجليزية
52 صفحات
الإصدار الحالي
مجاناً
مجال الوثيقة ISO/IEC TS 24718:2025
This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.
To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage.
This document is aimed at a broad audience, including application programmers, implementers of run-time systems, those responsible for defining company or project guidelines, and academics. Familiarity with the Ada language is assumed.
الأكثر مبيعاً
GSO 150-2:2013
مواصفة قياسية خليجية
فترات صلاحية المنتجات الغذائية - الجزء الثاني :
فترات الصلاحية الاختيارية

OS GSO 150-2:2013
GSO 150-2:2013
مواصفة قياسية عمانية
فترات صلاحية المنتجات الغذائية - الجزء الثاني :
فترات الصلاحية الاختيارية


OS GSO 2055-1:2015
GSO 2055-1:2015
مواصفة قياسية عمانية
الأغذية الحلال – الجزء الأول : الاشتراطات العامة للأغذية الحلال


GSO 2055-1:2015
لائحة فنية خليجية
الأغذية الحلال – الجزء الأول : الاشتراطات العامة للأغذية الحلال

اعتمدت مؤخراً
ISO 20589:2025
مواصفة قياسية دولية
Glass in building — Determination of the emissivity

ISO 11265:2025
مواصفة قياسية دولية
Environmental solid matrices — Determination of the specific electrical conductivity

ISO 11465:2025
مواصفة قياسية دولية
Sludge and solid environmental matrices — Determination of dry residue or water content and calculation of the dry matter fraction on a mass basis

ISO 9350:2025
مواصفة قياسية دولية
Corrosion of metals and alloys — Testing method of corrosion resistance for hafnium at high temperature and pressure
