Validation process at Ada Core Technologies

Validation process at Ada Core Technologies

[Francois Chastrette]

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?

Re: Validation process at Ada Core Technologies

[Robert Dewar]

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.