From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=BAYES_40,INVALID_DATE, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!info-ada From: CASTOR@USC-ISIF.ARPA Newsgroups: net.lang.ada Subject: Ada Compiler Validation Policy Message-ID: <[USC-ISIF.ARPA]10-Feb-86.13:55:29.CASTOR> Date: Mon, 10-Feb-86 16:55:00 EST Article-I.D.: <[USC-ISIF.ARPA]10-Feb-86.13:55:29.CASTOR> Posted: Mon Feb 10 16:55:00 1986 Date-Received: Wed, 12-Feb-86 20:05:20 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet List-Id: 10 February 1986 Dear Friends of Ada*: The Ada Joint Program Office (AJPO) has prepared a draft version of the Ada Validation Policies and Procedures Document. In order to accommodate the requirements of the general Ada community, as well as the specific requirements of the DoD and authorized Ada Validation Facilities, this document has been subdivided into three parts. Part I (Validation Policy) defines the general framework for the process of Ada compiler validation. Part II (The Use of Ada Compilers in DoD) integrates the policies and procedures of Ada compiler validation with the specific requirements imposed by the use of validated compilers in DoD Mission Critical Computer Resource (MCCR) Programs. Part III (Procedures for Conduct of the Ada Validation Process) enumerates the specific procedures which are to be followed to ensure the implementation of consistent practices for issuing Ada compiler validation certificates. The text of the document is currently available in the directory on ADA20 under the filename of VALIDATION-POLICY. In the spirit of open review, which has been characteristic of the Ada Program since its inception, this document is being made available for your review and comment. Constructive criticism, particularly in the format of recommended revisions to existing text and recommended insertion of additional text, will facilitate the development of the final version of this document. Closing date for receipt of comments on this draft document is 4 April 1986. Comments should be forwarded to: Ada Joint Program Office ATTN: Validation Policy Comments Rm 3D139 (Fern St/C107) Pentagon Washington, D.C. 20301-3081 or: VALCOM@ADA20 Although it will not be possible to acknowledge receipt of individual comments, I thank you in advance for your efforts in support of the generation of policies and procedures which will promote the use of Ada and foster the continued development of Ada compilers. Virginia L. Castor Director Ada Joint Program Office *Ada is a registered trademark of the U. S. Government (AJPO)