* Ada article in CrossTalk Journal
@ 2003-10-31 8:55 Rod Chapman
0 siblings, 0 replies; only message in thread
From: Rod Chapman @ 2003-10-31 8:55 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2003-10-31 8:55 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-31 8:55 Ada article in CrossTalk Journal Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox