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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3d6589e7b2c60444 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-06 09:19:33 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: lsiever6619@yahoo.com (L. Siever) Newsgroups: comp.lang.ada Subject: Re: employment with ada Date: 6 May 2003 09:19:33 -0700 Organization: http://groups.google.com/ Message-ID: References: NNTP-Posting-Host: 217.5.100.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1052237973 14615 127.0.0.1 (6 May 2003 16:19:33 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 6 May 2003 16:19:33 GMT Xref: archiver1.google.com comp.lang.ada:37008 Date: 2003-05-06T16:19:33+00:00 List-Id: "Alexandre E. Kopilovitch" wrote in message > Well, I think those "Ada zealots" shouldn't worry, and perhaps some Ada tools > vendors may be satisfied enough with this decision... especially SofCheck, > because it has Ada-to-C compiler, and probably will be able to adapt it for > 172 additional restrictions on output. So, all production code will be in C, > while use of Ada will be merely some kind of automation, which increases > productivity of coders and reviewers. Hmm, I'm not realy up to date... How many % of the DoD-code is still created by humans today? There are tools out there that want to create the code for you(MatrixX, SCADE, etc). Are these tools any good?