From: Peter Amey <peter.amey@praxis-cs.co.uk>
Subject: Re: Ada95 in business (database) software
Date: Mon, 10 Feb 2003 08:32:17 +0000
Date: 2003-02-10T08:32:17+00:00 [thread overview]
Message-ID: <3E476391.C1179F67@praxis-cs.co.uk> (raw)
In-Reply-To: 3E45EE04.280EC800@verizon.net
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
next prev parent reply other threads:[~2003-02-10 8:32 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-02-09 5:58 Ada95 in business (database) software Mark Wallace
2003-02-09 11:17 ` Adrian Knoth
2003-02-09 11:22 ` Preben Randhol
2003-02-09 11:40 ` Poul-Erik Andreasen
2003-02-10 6:47 ` Dmitriy Anisimkov
2003-02-10 8:32 ` Peter Amey [this message]
2003-02-15 20:02 ` Mark Wallace
2003-02-10 9:37 ` Dmitry A. Kazakov
2003-02-10 17:09 ` Wojtek Narczynski
2003-02-11 8:26 ` Frank Piron
2003-02-11 0:16 ` David Botton
2003-02-15 20:01 ` Mark Wallace
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox