BSI PD ISO/IEC TR 24718:2005

$215.11

Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems

Published By	Publication Date	Number of Pages
BSI	2005	88

Guaranteed Safe Checkout

Category: BSI

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Description

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

Additional information

Status	Revision Underway
Pages	88
Publication Date	2005-04-05
ISBN	0 580 45716 8
Standard Number	PD ISO/IEC TR 24718:2005
Title	Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems
Identical National Standard Of	ISO/IEC TR 24718:2005
Descriptors	ADA, Programming instructions, Computer programs, Computer applications, Programming techniques, Programming languages, Programming
Publisher	BSI
Committee	IST/5
ICS Codes	35.060 - Languages used in information technology