Cookies
Potrebujeme váš súhlas na využitie jednotlivých dát, aby sa vám okrem iného mohli ukazovať informácie týkajúce sa vašich záujmov. Súhlas udelíte kliknutím na tlačidlo „OK“.
ISO/IEC/TS 24718-ed.1.0
Information technology - Programming languages - Guidance for the use of the Ada Ravenscar Profile in high integrity systems
NORMA vydaná dňa 24.1.2025
| Jazyk | |
| Prevedenie |
|
| Dostupnosť | SKLADOM |
| Cena | NAOTÁZKU bez DPH |
| NA OTÁZKU |
Informácie o norme:
Označenie normy: ISO/IEC/TS 24718-ed.1.0
Dátum vydania normy: 24.1.2025
Kód tovaru: NS-1212614
Počet strán: 52
Približná hmotnosť: 156 g (0.34 libier)
Krajina: Medzinárodná technická norma
Kategória: Technické normy ISO
Kategórie - podobné normy:
Anotácia textu normy ISO/IEC/TS 24718-ed.1.0 :
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.
Odporúčame:
Aktualizácia zákonov
Chcete mať istotu o platnosti využívaných predpisov?
Ponúkame Vám riešenie, aby ste mohli používať stále platné (aktuálne) legislatívne predpisy
Chcete vedieť viac informácií ? Pozrite sa na túto stránku.
