1、| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | BRITISH STANDARD BS ISO/IEC TR 15942:2000
2、ICS 35.060 NO COPYING WITHOUT BSI PERMISSION EXCEPT AS PERMITTED BY COPYRIGHT LAW Information technology Programming languages Guide for the use of the Ada programming language in high integrity systemsThis British Standard, having been prepared under the direction of the DISC Board , was published
3、under the authority of the Standards Committee and comes into effect on 15 December 2000 BSI 12-2000 ISBN 0 580 36712 6 BS ISO/IEC TR 15942:2000 Amendments issued since publication Amd. No. Date Comments National foreword This British Standard reproduces verbatim ISO/IEC TR 15942:2000 and implements
4、 it as the UK national standard. The UK participation in its preparation was entrusted to Technical Committee IST/5, Programming languages, their Environment and System Software interfaces, which has the responsibility to: aid enquirers to understand the text; present to the responsible internationa
5、l/European committee any enquiries on the interpretation, or proposals for change, and keep the UK interests informed; monitor related international and European developments and promulgate them in the UK. A list of organizations represented on this committee can be obtained on request to its secret
6、ary. Cross-references The British Standards which implement international publications referred to in this document may be found in the BSI Standards Catalogue under the section entitled “International Standards Correspondence Index”, or by using the “Find” facility of the BSI Standards Electronic C
7、atalogue. A British Standard does not purport to include all the necessary provisions of a contract. Users of British Standards are responsible for their correct application. Compliance with a British Standard does not of itself confer immunity from legal obligations. Summary of pages This document
8、comprises a front cover, an inside front cover, the ISO/IEC TR title page, pages ii to viii, pages 1 to 48, an inside back cover and a bcak cover. The BSI copyright notice displayed in this document indicates when the document was last issued.Referencenumber ISO/IECTR15942:2000(E) TECHNICAL REPORT ISO/IEC TR 15942 Firstedition 2000-03-01 InformationtechnologyProgramming languagesGuidefortheuseoftheAda programminglanguageinhighintegrity systems Technologies de linformation Langages de programmation Guide pour lemploi du langage de programmation Ada dans les systmes de haute intgrit
