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

SPRIGGS, John J John.SPRIGGS at nats.co.uk
Wed Apr 26 16:53:01 CEST 2017


How does that report fit in with the requirement development reported upon here: http://iment.com/maida/computer/redref/index.htm ?

-----Original Message-----
From: systemsafety [mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of Derek M Jones
Sent: 26 April 2017 14:55
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: [SystemSafety] A Common Programming Language for the Department of Defense

All,

The 1976 report (the starting point for what ended up as Ada) "A Common Programming Language for the Department of Defense--Background and Technical Requirements"
does not appear to be available in pdf anywhere.

The obvious source does not link to anything:
http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA028297

Does anybody know where a copy of the pdf can be found (Google does not have one)?

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com
_______________________________________________
The System Safety Mailing List
systemsafety at TechFak.Uni-Bielefeld.DE

***************************************************************************
If you are not the intended recipient, please notify our Help Desk at Email information.solutions at nats.co.uk
immediately. You should not copy or use this email or attachment(s) for any purpose nor disclose
their contents to any other person.

NATS computer systems may be monitored and communications carried on them recorded, to 
secure the effective operation of the system.

Please note that neither NATS nor the sender accepts any responsibility for viruses or any losses
caused as a result of viruses and it is your responsibility to scan or otherwise check this email
and any attachments.

NATS means NATS (En Route) plc (company number: 4129273), NATS (Services) Ltd 
(company number 4129270), NATSNAV Ltd (company number: 4164590) 
or NATS Ltd (company number 3155567) or NATS Holdings Ltd (company number 4138218). 
All companies are registered in England and their registered office is at 4000 Parkway, 
Whiteley, Fareham, Hampshire, PO15 7FL.

***************************************************************************



More information about the systemsafety mailing list