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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Mon, 30 Apr 2018 22:19:00 -0500
Organization: JSA Research & Innovation
Message-ID: <pc8mb6$l52$1@franka.jacob-sparre.dk>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
 <dbcb51b9-8ab9-4d39-bb70-47fdb15ebfd8@googlegroups.com>
 <pb7eii$bf1$1@dont-email.me>
 <b75ad71f-a917-4638-9b38-ccfe69b04e53@googlegroups.com>
 <slrnpdpiv9.ntv.address@is.invalid> <pbr3mi$leu$1@franka.jacob-sparre.dk>
 <87k1su7nag.fsf@nightsong.com> <pbtlno$3k2$1@franka.jacob-sparre.dk>
 <87po2la2qt.fsf@nightsong.com> <87in8buttb.fsf@jacob-sparre.dk>
 <87wowqpowu.fsf@nightsong.com> <87efiyuh10.fsf@jacob-sparre.dk>
 <87vacanebz.fsf@nightsong.com> <87a7tlvppi.fsf@jacob-sparre.dk>
 <87k1sponey.fsf@nightsong.com>
 <658b4dfa-6c52-42d0-a289-8c612e6ee6a5@googlegroups.com>
 <87fu3dogk5.fsf@nightsong.com>
 <45b9ca65-a983-4553-a580-d1ccde834c70@googlegroups.com>
Injection-Date: Tue, 1 May 2018 03:19:02 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="21666"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:51862
Date: 2018-04-30T22:19:00-05:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> wrote in message 
news:45b9ca65-a983-4553-a580-d1ccde834c70@googlegroups.com...
>  (Randy, you should consider embracing IEEE's terminology of
> verification and validation, jettisoning "validated Ada compiler" for
> 'verified* Ada compiler' so that then you can put IV&V meat on the
> conceptual skeleton; Ada needs to prove both of the Vs, not merely one.)

The term "validated" hasn't been used formally since 1998, since it doesn't 
fit with ISO terminology. What we do for Ada using the ACATS is called 
"conformity assessment". (We informally equate that to "validated" so that 
older people aren't confused. ;-)

I don't think the term "verified" is allowed, either. You'd have look at ISO 
18009 to see the official terms (but I don't think that Standard is freely 
available).

                         Randy.