Cookies
Wir benötigen Ihre Einwilligung zur Verwendung der einzelnen Daten, damit Sie unter anderem Informationen zu Ihren Interessen einsehen können. Klicken Sie auf "OK", um Ihre Zustimmung zu erteilen.
ISO/IEC/TS 24718-ed.1.0
Information technology - Programming languages - Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Name übersetzen
NORM herausgegeben am 24.1.2025
| Sprache | |
| Realisierung |
|
| Zugänglichkeit | AUF LAGER |
| Preis | AUFANFRAGE ohne MWS |
| AUF ANFRAGE |
Informationen über die Norm:
Bezeichnung normen: ISO/IEC/TS 24718-ed.1.0
Ausgabedatum normen: 24.1.2025
SKU: NS-1212614
Zahl der Seiten: 52
Gewicht ca.: 156 g (0.34 Pfund)
Land: Internationale technische Norm
Kategorie: Technische Normen ISO
Kategorie - ähnliche Normen:
Die Annotation des Normtextes 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.
Empfehlungen:
Aktualisierung der technischen Normen
Wollen Sie sich sicher sein, dass Sie nur die gültigen technischen Normen verwenden?
Wir bieten Ihnen eine Lösung, die Ihnen eine Monatsübersicht über die Aktualität der von Ihnen angewandten Normen sicher stellt.
Brauchen Sie mehr Informationen? Sehen Sie sich diese Seite an.
