Re: Applications written in Ada

Re: Applications written in Ada

[Bill Sheehan]

Smart cards?

Did you hear of a Multiapplication smart card from Quest-Products Research
Corporation
(OTCBB:QPRC) www.quest-products.com? It's called BIG1CARD.

Wonder is those Mondex folks would be interested too?

Any way, I wasn't pumping, just providing some info.

Interesting concept if it catches on.
----- Original Message ----- 
From: "Peter Amey" <peter.amey@praxis-cs.co.uk>
Newsgroups: comp.lang.ada
Sent: Wednesday, October 29, 2003 6:04 AM
Subject: Re: Applications written in Ada


>
>
> > a) Is there a list of applications written in Ada that are not intended
for
> > defense/space/aviation?
> [snip]
>
> You could take a look at the IEEE paper describing the Mondex smart card
> certification authority downloadable from www.sparkada.com
> (http://www.sparkada.com/downloads/ieeesw.pdf).  This describes a
> Windows NT hosted system written in Ada 95, SPARK (and C++ for the GUI)
> which is none of defense/space/avaiation being financial/security.

Applications written in Ada

[Lars]

Hi,

I am aware of the (alleged) fact that Ada is mainly used for the development
of safety-critical applications by governmental institutions. I found a list
of military/space/aviation projects realised in Ada, and it was not
unimpressive.

However:

a) Is there a list of applications written in Ada that are not intended for
defense/space/aviation?
b) Which Ada applications (especially for Win32) are there for which the
source code is available?

Thanks,

-Lars

Re: Applications written in Ada

[Ross Higson]

Lars wrote:
> 
> a) Is there a list of applications written in Ada that are not intended for
> defense/space/aviation?

Try AdaWorld (http://www.adaworld.com/) and look around the 'Ada 
Projects' section.

> b) Which Ada applications (especially for Win32) are there for which the
> source code is available?
> 

I have telnet and serial communications applications specifically 
written for Win32 in Ada - see the 'libraries' section of Ada World 
(they're in that section because the applications are mainly intended as 
test programs for the terminal emulation library). However, they are 
both complete implementations, and the source is available.

There are other Win32 applications listed on the site, but sometimes it 
is not obvious exactly what platforms are supported. If you feel this is 
a serious omission (I never thought of it before!) it might be worth 
making this point via the feedback link on the site.

Ross.

Re: Applications written in Ada

[Peter Amey]

Lars wrote:
> Hi,
[snip]
> 
> However:
> 
> a) Is there a list of applications written in Ada that are not intended for
> defense/space/aviation?
[snip]

You could take a look at the IEEE paper describing the Mondex smart card 
certification authority downloadable from www.sparkada.com 
(http://www.sparkada.com/downloads/ieeesw.pdf).  This describes a 
Windows NT hosted system written in Ada 95, SPARK (and C++ for the GUI) 
which is none of defense/space/avaiation being financial/security.

Peter

Re: Applications written in Ada

[Chad R. Meiners]

"Peter Amey" <peter.amey@praxis-cs.co.uk> wrote in message
news:bno6sm$13i9to$1@ID-69815.news.uni-berlin.de...
> You could take a look at the IEEE paper describing the Mondex smart card
> certification authority downloadable from www.sparkada.com
> (http://www.sparkada.com/downloads/ieeesw.pdf).  This describes a
> Windows NT hosted system written in Ada 95, SPARK (and C++ for the GUI)
> which is none of defense/space/avaiation being financial/security.
>
> Peter

I like this paper.  It is very good ammunition against "software engineers"
that resist/dislike formal methods.

-CRM

Re: Applications written in Ada

[Randy Brukardt]

"Lars" <lars-remove_me-m@gmx.net> wrote in message
news:bnnssf$c2t$01$1@news.t-online.com...
> b) Which Ada applications (especially for Win32) are there for which the
> source code is available?

Win32-specific applications typically use a thick library like Claw,
GWindows, or Windex. Look for apps using those bindings on the Ada-wide
search engine: www.adaic.com/site/wide-search.html. I know that there are
number of small applications using Claw out there. (The Claw GUI builder is
a Claw application, in fact. But no source available on that.)

                     Randy.

Re: Applications written in Ada

[Jano]

Lars dice...

> b) Which Ada applications (especially for Win32) are there for which the
> source code is available?

My current hobby project: http://agio.sf.net

Re: Applications written in Ada

[Gautier Write-only]

Lars:

> a) Is there a list of applications written in Ada that are not intended for
> defense/space/aviation?

On these lists you'll find (also) non defense/space/aviation applications

http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html
http://www.acm.org/sigada/education/pages/success.html

> b) Which Ada applications (especially for Win32) are there for which the
> source code is available?

Not looking too far ;-) I can cite

AdaGIDE: http://www.usafa.af.mil/dfcs/bios/mcc_html/adagide.html
TeXCAD:  http://www.mysunrise.ch/users/gdm/texcad.htm

HTH
________________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!

Re: Applications written in Ada

[Ed Falis]

On Wed, 29 Oct 2003 21:43:13 +0100, Gautier Write-only 
<gautier@fakeaddress.nil> wrote:

> On these lists you'll find (also) non defense/space/aviation applications
>
> http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html
> http://www.acm.org/sigada/education/pages/success.html

AstroFrames, an astrology ;-) program that works on Windows and various 
Unices:

http://mysite.verizon.net/vze6qirr/myindex.html

- Ed

Re: Applications written in Ada

[Jeffrey Carter]

Ed Falis wrote:
> 
> AstroFrames, an astrology ;-) program that works on Windows and various 
> Unices:
> 
> http://mysite.verizon.net/vze6qirr/myindex.html

Mine Detector, a mine-finding game for Windows and Linux:

http://home.earthlink.net/~jrcarter010/mindet.html

-- 
Jeff Carter
"Don't knock masturbation. It's sex with someone I love."
Annie Hall
45

Re: Applications written in Ada

[Erlo Haugen]

On Wed, 29 Oct 2003 09:16:08 +0100
"Lars" <lars-remove_me-m@gmx.net> wrote:
[SNIP]
> b) Which Ada applications (especially for Win32) are there for which the
> source code is available?

GNU visual debugger GVD is written in Ada

Erlo
-- 
Remove the underscores

Re: Applications written in Ada

[tmoran]

>> b) Which Ada applications (especially for Win32) are there for which the
>> source code is available?
  What constitutes an "application"?  Is, for instance, a web crawler
that reports dead links, an application?  How about a program that
reports on the Ada.Calendar.Clock timing characteristics of a particular
compiler/OS?  I would call a teleprompter program an application, but
I'm not so sure about a program that plays speech through a soundcard-less
DOS PC speaker.  And what about a one-shot program that grabs selected
election returns off the internet and displays them on a community
cable TV system?

Re: Applications written in Ada

[Patrice Freydiere]

On Wed, 29 Oct 2003 09:16:08 +0100, Lars wrote:

> Hi,
> 
> I am aware of the (alleged) fact that Ada is mainly used for the development
> of safety-critical applications by governmental institutions. I found a list
> of military/space/aviation projects realised in Ada, and it was not
> unimpressive.
> 
> However:
> 
> a) Is there a list of applications written in Ada that are not intended for
> defense/space/aviation?
> b) Which Ada applications (especially for Win32) are there for which the
> source code is available?
> 
> Thanks,
> 
> -Lars

my personnal img server contribution.

;-)

Patrice

http://imgsvr.tuxfamily.org

Re: Applications written in Ada

[Martin Dowie]

"Lars" <lars-remove_me-m@gmx.net> wrote in message
news:bnnssf$c2t$01$1@news.t-online.com...
> I am aware of the (alleged) fact that Ada is mainly used for the
development
> of safety-critical applications by governmental institutions. I found a
list
> of military/space/aviation projects realised in Ada, and it was not
> unimpressive.
>
> However:
>
> a) Is there a list of applications written in Ada that are not intended
for
> defense/space/aviation?
> b) Which Ada applications (especially for Win32) are there for which the
> source code is available?

Off the top of my head:

1. MediaGuard from Canal+ is an Ada application used for secure
pay-per-view. They do the broadcasting using Ada too I believe.

2. Philips Semiconductors control/monitors their fabrication plants using
Ada

No sources though of course - but then it wouldn't matter what the language
used was for these things. Companies _rarely_ publish source code.