From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Q: Ravenscar Guide
Date: Sat, 07 Nov 2009 02:59:44 +0100
Date: 2009-11-07T02:59:47+01:00 [thread overview]
Message-ID: <4af4d493$0$6588$9b4e6d93@newsspool3.arcor-online.net> (raw)
Looking for the
"Guide for the use of the Ada Ravenscar Profile
in high integrity systems", ISO/IEC 24718,
I noticed that the German title on the quite official
DIN/Beuth site is different. It says "highly-integrated
systems" for "high integrity systems", in German:
"Leitfaden zu Verwendung des Ada Ravenscar Profils in
hoch-integrierten Systemen" [c&p]
That's not the same thing, is it?
Assuming they sell the English original, there is no
issue. (I think the high officials have asked for the
report to be made freely available.)
An English report by Burns, Dobbing, and Vardanega
is freely available here and there (York, Karlsruhe).
next reply other threads:[~2009-11-07 1:59 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-11-07 1:59 Georg Bauhaus [this message]
2009-11-13 13:18 ` Q: Ravenscar Guide Colin Paul Gloster
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox