From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.9 required=5.0 tests=BAYES_05,INVALID_MSGID,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,44c5f538d43386ea
X-Google-Attributes: gid103376,public
From: Richard Irvine <irv@eurocontrol.fr>
Subject: Re: Projets en Ada95
Date: 1997/06/25
Message-ID: <33B10658.1715@eurocontrol.fr>#1/1
X-Deja-AN: 252454207
References: <01bc8093$3617ab80$9f17a7c2@C3108_2>
Organization: EUROCONTROL Experimental Centre
Newsgroups: comp.lang.ada
Date: 1997-06-25T00:00:00+00:00
List-Id: <comp.lang.ada>


Agusti Canals wrote:
> 
> Savez vous si'il existe � ce jour des projets r�alis�s en Ada95 en france ?
> 
> Si oui pouvez vous m'indiquer le titre, la taille ...
> 
> Merci d'avance
> 
> Agusti

We developed a demonstration of a conflict resolution algorithm using
Ada 95.
The project had the title GEARS and had about 16 kloc written in Ada 95
(counting only the bodies, blank lines included) + a user-interface
developed using a GUI builder which generated C code. Just a two-man
project, but not unrespectable for about 15 man months effort (once
coding had started). Of the main Ada 95 features we used child packages
throughout for hierarchical naming, which I think clarified the
structure of the application, but only fairly light use of tagged and
controlled types, probably because this was our first experience of
using Ada 95. Personally, I very much enjoyed using Ada 95 and gnat -
one has the feeling that one has dependable friends in the struggle to
produce clear and correct code. One of the most helpful techniques we
used (though nothing to do with Ada 95) was that of assertions,
particularly for checking preconditions at the start of subprogram
bodies, which allowed us to catch logic errors quickly.