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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5db2a4f776607ef6
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.204.143.143 with SMTP id v15mr1828204bku.8.1332673823861;
        Sun, 25 Mar 2012 04:10:23 -0700 (PDT)
Path: 
 h15ni47304bkw.0!nntp.google.com!news1.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 25 Mar 2012 06:10:22 -0500
Date: Sun, 25 Mar 2012 07:10:13 -0400
From: "Peter C. Chapin" <PChapin@vtc.vsc.edu>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:11.0) Gecko/20120312 Thunderbird/11.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada advocacy
References: 
 <19595886.4450.1332248078686.JavaMail.geo-discussion-forums@vbbfy7>
 <2012032020582259520-rblove@airmailnet>
 <31909692.1619.1332308228840.JavaMail.geo-discussion-forums@vbhv6>
In-Reply-To: 
 <31909692.1619.1332308228840.JavaMail.geo-discussion-forums@vbhv6>
Message-ID: <b7OdnZzY7Z2CYPPS4p2dnAA@giganews.com>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-nxT+SsxwZoVTDVYlWFPSI6bb08zJ4FwGShN/Fvo1xNXxYxy61OQ/Oqdbj1ZYRKF+6PR3yC0a98X3ySw!3mc4H410RcQuqzRPQVCbIdVHRlqhd/61gG6ffSjaayP+2cgoSqQIJAzkeY8qc9c=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2174
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-03-25T07:10:13-04:00
List-Id: <comp.lang.ada>

On 2012-03-21 01:37, Per Sandberg wrote:

> And some rumors says: There are still small teams of programmers
> doing backports of some of the NASA C/C++ SW to Ada again, and they
> are finding "intresting" bugs that are repored back to NASA again.

Those rumors might be pertaining to the CubeSat work we are doing at 
Vermont Technical College. NASA is allowing us to use some navigation 
software they developed. The software is written in C and, as C programs 
go, is reasonably well done. We are working on converting it to SPARK... 
a process that is ongoing. We have found a few "anomalies" so far---I'm 
not sure I'd call them outright bugs---but we have only translated about 
25% of the code and we are far from completing all the proofs.

Most of the programmers on this project are students and most of the 
progress on it gets made during the summer.

Peter