comp.lang.ada
 help / color / mirror / Atom feed
From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Date: Fri, 11 Jun 2010 11:14:06 +0000
Date: 2010-06-11T11:14:06+00:00	[thread overview]
Message-ID: <alpine.LNX.2.00.1006111111310.3608@Bluewhite64.example.net> (raw)
In-Reply-To: <87cnjdFafdU1@mid.individual.net>

On Thu, 10 Jun 2010, Nicholas Holsti alleged:

|-------------------------------------------------------------------------------|
|"[..]                                                                          |
|                                                                               |
|An earlier article on CubeSat (Ada User Journal, September 2008, page 213) [..]|
|[..]                                                                           |
|                                                                               |
|[..]"                                                                          |
|-------------------------------------------------------------------------------|

That article was on a cubesat, not on CubeSat. I had the misfortune to
work with someone who had worked on an earlier cubesat which
completely lacked Ada.



  reply	other threads:[~2010-06-11 11:14 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-10 12:16 FYI -- Lunar lander project relies on SPARK programming language melampus
2010-06-10 12:52 ` Yannick Duchêne (Hibou57)
2010-06-10 16:19   ` Pascal Obry
2010-06-10 18:01     ` Niklas Holsti
2010-06-11 11:14       ` Colin Paul Gloster [this message]
2010-06-11 14:22       ` Peter C. Chapin
2010-06-11 14:34         ` (see below)
2010-06-12 12:12           ` Peter C. Chapin
replies disabled

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