• There are no items in your cart

PD ISO/IEC TR 24718:2005

Current

Current

The latest, up-to-date edition.

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

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

04-05-2005

Foreword
Introduction
1 Scope
2 Recommendations
3 Revision of the University of York publication

Gives 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.

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.

Committee
IST/5
DevelopmentNote
Supersedes 04/30107375 DC. (04/2005)
DocumentType
Standard
Pages
88
PublisherName
British Standards Institution
Status
Current
Supersedes

Standards Relationship
ISO/IEC TR 24718:2005 Identical

ISO/IEC TR 15942:2000 Information technology Programming languages Guide for the use of the Ada programming language in high integrity systems
ISO/IEC 8652:2012 Information technology — Programming languages — Ada

View more information
US$356.96
Excluding Tax where applicable

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.