[SystemSafety] A Common Programming Language for the Department of Defense

[Les Chambers]

Interesting that 40 years later we still have the same problems called out in 
Section A.1. The DoD software problem
At least we're doing a little better with transferability, with the use of libraries and various frameworks. 
Their seems to be no end to the technology churn though.
Les

> On 1 May 2017, at 4:48 pm, Haim Kuper <h3k at 012.net.il> wrote:
> 
> IMHO this is exactly what Derek is looking for.
> 
> http://www1.adacore.com/~brosgol/Fisher-P-1191.pdf
> 
> 
> Kuper
> 
> 
> -----Original Message-----
> From: systemsafety [mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of Ben Brosgol
> Sent: Thursday, April 27, 2017 8:44 PM
> To: systemsafety at lists.techfak.uni-bielefeld.de
> Subject: Re: [SystemSafety] A Common Programming Language for the Department of Defense
> 
> One of my colleagues at IDA sent me a pdf (7.5MB):
> 
> 
> http://www1.adacore.com/~brosgol/Fisher-P-1191.pdf
> 
> 
> The author, Dave Fisher, was also the principal author of the various requirements documents (Strawman etc) that eventually led to the design of the Ada language.  I was the head of the Red language team during the design competition; those were interesting times :-)
> 
> 
> On 4/27/2017 12:47 PM, Derek M Jones wrote:
> 
> > All,
> 
> >
> 
> > Following a suggestion by James Inge I posted a request:
> 
> >> Try http://www.dtic.mil/dtic/contactus/askaLibrarian.html
> 
> >
> 
> > and just received a reply :-)
> 
> >
> 
> > "It appears that we do not currently have a digital copy of this
> 
> > report available. Our current estimate is 4-6 weeks for the document
> 
> > to be retrieved from our archives, scanned and posted on the public
> 
> > site (http://www.dtic.mil), although it may appear sooner. Please
> 
> > check the DTIC Public Collection (http://www.dtic.mil) for your report
> 
> > in about 30 days and recheck weekly thereafter."
> 
> >
> 
> _______________________________________________
> 
> The System Safety Mailing List
> 
> systemsafety at TechFak.Uni-Bielefeld.DE
> 
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20170501/aaaab364/attachment.html>