Re: Porting ADA source

[Marin David Condic <nobody@noplace.com>]

The nice thing is that with the stringent test requirements of DO-178b, 
things like SPARC start becoming an economically attractive alternative: 
The more testing I can do automatically, the less it costs me to get my 
product approved. It makes sense for Ada vendors to play that card: Do 
as much as possible to provide test tools, etc., because in that 
particular arena (DO-178b) it starts getting *real* obvious that errors 
cost money and you can't sacrifice verification in order to gain Time To 
Market.

Of course, that's only a small subset of the overall software world, but 
it is at least a market that wants to buy what Ada is trying to sell: 
correct software.

MDC

Robert I. Eachus wrote:
> Fortunately SPARK seems to be catching on for software where reliability 
> is a requirement.  However, there are times when you need more 
> expressive power than SPARK currently allows, and of course, SPARK could 
> not exist without a wider Ada community.
> 


-- 
======================================================================
Marin David Condic
I work for: http://www.belcan.com/
My project is: http://www.jsf.mil/NSFrames.htm

Send Replies To: m   o   d   c @ a   m   o   g
                    c   n   i       c   .   r

     "All reformers, however strict their social conscience,
      live in houses just as big as they can pay for."

          --Logan Pearsall Smith
======================================================================