comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Creem <jeff@thecreems.com>
Subject: Re: Ravenscar and ADA
Date: Tue, 02 Jan 2007 19:36:29 -0500
Date: 2007-01-02T19:36:29-05:00	[thread overview]
Message-ID: <gbar64-n9q.ln1@newserver.thecreems.com> (raw)
In-Reply-To: <ene2qs$ft3$1@news01.versatel.de>

S�nke Brix wrote:
> hi folks,
> 
> i'm looking for a good start into the "ravenscar profile" in ada. i'm 
> standing at the beginning an i have no clue...
> 
> thanx
> 
> Soenke
> 
> 
> 

Have you looked at 
http://www.praxis-his.com/sparkada/pdfs/high_integrity_ravenscar.pdf

and
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT?rev=1.15

Also do you already know Ada. These all tend to assume that you do.



  reply	other threads:[~2007-01-03  0:36 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-01-02 16:56 Ravenscar and ADA S�nke Brix
2007-01-03  0:36 ` Jeffrey Creem [this message]
2007-01-06 12:45 ` JP Thornley

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox