Re: ANN: Rockwell Collins selects SPARK Ada
- From: "Ed Falis" <falis@xxxxxxxxxxx>
- Date: Tue, 28 Feb 2006 15:33:23 GMT
On Tue, 28 Feb 2006 10:26:10 -0500, Rod Chapman <rod.chapman@xxxxxxxxxxxxxx> wrote:
Both Ada enthusiasts and skeptics might be interested in:
http://www.praxis-his.com/sparkada/pdfs/praxis_rockwell_final_pr.pdf
- Rod, SPARK Team
Congrats!
.
- References:
- ANN: Rockwell Collins selects SPARK Ada
- From: Rod Chapman
- ANN: Rockwell Collins selects SPARK Ada
- Prev by Date: ANN: Rockwell Collins selects SPARK Ada
- Next by Date: Re: limited types (Was: Records that could be arrays)
- Previous by thread: ANN: Rockwell Collins selects SPARK Ada
- Index(es):
