From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: Ada article in CrossTalk Journal
Date: 31 Oct 2003 00:55:33 -0800
Date: 2003-10-31T00:55:33-08:00 [thread overview]
Message-ID: <cf2c6063.0310310055.7ae482b9@posting.google.com> (raw)
I'm sure c.l.a readers will find the latest issue of
CrossTalk Journal of interest. There are two very Ada-friendly
articles in there:
"The Ravenscar Profile for Real-Time and High Integrity Systems" by
by Dobbing and Burns
"Software Static Code Analysis Lessons Learned"
by Andy German of QinetiQ Boscombe Down.
The latter paper presents years of findings regarding the static
analysis of all sorts of aircraft systems. Should be required
reading, especially if your current project name starts with
a "J" and ends with an "SF" :-)
You can find these at www.stsc.hill.af.mil
- Rod Chapman, SPARK Team, Praxis Critical Systems
reply other threads:[~2003-10-31 8:55 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox