IEC - International Electrotechnical Commission - ISO/IEC TR 24718:2005

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

published
Buy Now
Organization: IEC - International Electrotechnical Commission
Publication Date: 17 February 2005
Status: published
Page Count: 74
ICS Code (Languages used in information technology): 35.060
abstract:

ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile... View More

Document History

ISO/IEC TR 24718:2005
February 17, 2005
Information technology -- Programming languages -- Guide for the use of the Ada Ravenscar Profile in high integrity systems
ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a...
Advertisement