Re: Projets en Ada95

Re: Projets en Ada95

[Richard Irvine]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 405 bytes --]


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


The 'Workshop on Methods and Tools for Ada 95' September 8-12, Brest,
organised by Telecom Bretagne may be of interest to you. See -

http://www-info.enst-bretagne.fr/~kermarre/workshop/workshop.html

Re: Projets en Ada95

[Richard Irvine]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1231 bytes --]


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.