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.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e1f75633467005b6,start
X-Google-Attributes: gid103376,public
X-Google-Thread: fac41,e1f75633467005b6,start
X-Google-Attributes: gidfac41,public
From: Luis Ibanez <luisiban@club-internet.fr>
Subject: Ada95 vs Eiffel ?
Date: 1998/11/03
Message-ID: <363F2D2D.BA71F028@club-internet.fr>#1/1
X-Deja-AN: 407965796
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=us-ascii
Organization: Departement ITI - ENST-Bretagne
Mime-Version: 1.0
Reply-To: luis.ibanez@ieee.org
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 1998-11-03T00:00:00+00:00
List-Id: <comp.lang.ada>

Hi,

I'm planning to develop a critical 
application related with real time
visualization of 3D medical data.

This application is intended to 
run in a surgery room.

The application could be run
on QNX or LYNX real time operating
systems (with an inocuous version
for windows NT...), and will 
intensively use calls to OpenGL.

I'm analyzing the alternatives of
good languages for this kind of 
tasks. By now, the finalist are
Ada and Eiffel,:


Eiffel :because its natural support
        of "design by contract".


Ada95  : because it has a long tradition
         in critical systems developments.


Can anybody give me some advices
about this choice ?



Thanks in advance.

PD. as a secondary point, 
which of this languages 
provides a more "secure" support
for graphical user interfaces ?
(like xforms, gtk, qt ...)

-- 
________________________________________________________________

Luis Eduardo IBANEZ

PhD Student
Departement Image et Traitement de l'Information
Ecole Nationale Superieure des Telecommunications de Bretagne
Technopole de Brest-Iroise BP 832,  29285 BREST - FRANCE
Tel (33)2.98.00.13.57      Fax (33)2.98.00.10.98
e-mail: luis.ibanez@ieee.org
home page: http://www-iti.enst-bretagne.fr/~ibanez
________________________________________________________________