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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,7d7ee3c3e9e9e103
X-Google-Attributes: gidfac41,public
X-Google-Thread: 1108a1,7d7ee3c3e9e9e103
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,9f9e8bd17e4d4c4d
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-09-21 15:48:33 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!swrinde!news.dell.com!tadpole.com!uunet!psinntp!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.eiffel,comp.object,comp.lang.ada
Subject: Re: Eiffel for DoD development?
Date: 20 Sep 1994 13:18:50 -0400
Organization: Courant Institute of Mathematical Sciences
Message-ID: <35n5hq$68v@gnat.cs.nyu.edu>
References: <DERWAY.94Aug31155314@alumni.ndc.com>
 <ROCK.94Sep3181528@twratl.atlanta.twr.com>
 <1994Sep9.072456.1302@gtewd.mtv.gtegsc.com> <34qal9$6s2@Starbase.NeoSoft.COM>
 <g5WSkakPrwVQ070yn@cpcug.org>
NNTP-Posting-Host: gnat.cs.nyu.edu
Xref: bga.com comp.lang.eiffel:2029 comp.object:6678 comp.lang.ada:6075
Date: 1994-09-20T13:18:50-04:00
List-Id: <comp.lang.ada>

Wayne, your idea that the mandate is restricted to embedded combat systems
is indeed hopelessly out of date, and YES, business systems are also covered
by the mandate (and the usual possible exceptions to the mandate).

And also, it isn't a matter of DoD changing its policy, the mandate is a
matter of law.