Aktívna norma | Vydaná: 24.01.2025

ISO/IEC/TS 24718-ed.1.0

Information technology - Programming languages - Guidance for the use of the Ada Ravenscar Profile in high integrity systems
(Technologies de l´information - Langages de programmation - Guide pour l´usage du profil "Ada Ravenscar" dans les systemes de haute integrite)

Dostupné jazyky: Anglicky

Dostupné prevedenie: Elektronické PDF, Tlačené, CD-ROM

od 25.90 CZK zobraziť na eshopu

Podrobné informácie

Označenie: ISO/IEC/TS 24718-ed.1.0

Dátum vydania: 24.01.2025

Stránok: 52

Krajina: Medzinárodná technická norma

Kde kúpiť?

Môžete zakúpiť na eshop.normservis.sk

Anotácia

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.

Populárna vydavatelia

celý katalóg