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=0.6 required=5.0 tests=BAYES_20,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2a036a46a220c1ee X-Google-Attributes: gid103376,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: Validation process at Ada Core Technologies Date: 1996/06/02 Message-ID: #1/1 X-Deja-AN: 158042942 references: organization: Courant Institute of Mathematical Sciences newsgroups: comp.lang.ada Date: 1996-06-02T00:00:00+00:00 List-Id: F. Chastrette asked "About 6 weeks ago Robert Dewar posted a very interesting description of the validation process that is in use at Ada Core Technologies. He also mentioned that he would post a more detailed paper on the ACT home page shortly after the STC conference. I have since checked the ACT home page several times, but apparently the description is not there. Can someone please tell me where I can find it?" Since RObert Dewar is writing that paper, it is pretty unlikely anyone else will be able to answer that question :-) As Mozart said in the movie version of Amadeus when he was asked (actually yelled at) where the score for the Magic Flute was, "it's finished". THen he is asked "where is it", and he points to his head, and says "the rest is scribbling". Well that's where the paper on our procedures is (note I do NOT use the word validation -- that's your word not mine!) It will appear sometime, but right now GNAT 3.05, and the GNAT documentation have higher priority, so it will be some weeks yet before I get around to the scribbling.