Re: Ada95 in business (database) software

[Mark Wallace <no.spam@verizon.net>]

Peter Amey wrote:
> 
> Mark Wallace wrote:
> >
> > Is anyone using Ada95 for database-oriented business applications?  Does
> > either of the principal commercial compilers (Aonix, GNAT) have a decent
> > (i.e., better than ODBC) interface to Oracle?  My team is evaluating
> > Ada95 and Eiffel for a new development effort, and we are having a hard
> > time identifying any sort of track record for Ada95 in this category
> > (business/database) of application.  All the Ada95 "buzz" seems to be
> > related to device drivers and embedded controller software.
> >
> > We're willing to swim upstream with regard to non-mainstream languages,
> > because we care deeply about software quality.  However, we have neither
> > the expertise nor the funding to (re)create low-level code such as
> > database interface modules.
> >
> 
> A significant chunk of a secure system we developed in SPARK and Ada 95
> involved SQL links to a database.  See "Correctness by Construction -
> Developing a Commercial Secure System" in IEEE Software Jan/Feb 2002
> pp18-25.  (Also in PDF on www.sparkada.com under publications).  ISTR we
> wrote the binding ourselves but that it wasn't hard.
> 
> Peter

I read this article (from your Web site), and, while I found it very
interesting, didn't see any mention of database or SQL.

Mark