Compilateurs et autres outils payants

Compilateurs

Plusieurs sociétés proposent des compilateurs à la vente pour de nombreuses combinaisons Hôtes/Cibles (liste non garantie actuelle, car le nombre de compilateurs augmente chaque jour !):

Hôtes:	Cibles. Les mêmes que les hôtes, plus:
SPARC/Solaris, HP9000/HP-UX, RS6000/AIX, IBM390/MVS, Intelx86/Win-NT/9X, SGI/IRIX, Concurrent/PowerMAX, Intelx86/Linux, Intelx86/OS/2, PowerMAC/Tenon, VAX/VMS, Alpha/Open-VMS, Intelx86/DOS, Alpha/DEC-Unix, Siemens-Nixdorf RM200/SINIX	Java machine, .Net PowerPC/VxWorks, PowerPC/Raven, Intelx86/PharLapETS, PowerPC/Integrity, HP7xx/HP-RT, MIPS/VxWorks, RAD6000/VxWorks, 68K/VxWorks, X86/VxWorks, ADI-21020/Bare, i960/HAOS, PowerPC/LynxOS, ADI-SHARC/Virtuoso, IBM390/CICS, Nighthawk 6800, ARM, AVR

Il existe également des compilateurs qui génèrent du code C Ansi, ce qui permet d'utiliser Ada sur toute machine disposant d'un compilateur C.

Fournisseurs:

ACT (compilateur Gnat libre, mais support commercial payant)
Aonix (version d'évaluation gratuite)
DDC International
Green Hills Software
Irvine Compiler Corporation
OC-Systems
Rational Software
RR Software
Sofcheck (issu de Avercom, autrefois Averstar, autrefois Intermetrics)
TLD Systems
XGC

De plus, les sociétes suivantes proposent des compilateurs pour leurs propres machines uniquement:

Analog Devices (pour le SHARC)
Concurrent Computer Corporation (compilateur Maxada)
Hewlett-Packard
IBM
Silicon Graphics Inc.

Autres outils

De nombreuses sociétés proposent également des outils liés à Ada. En voici quelques exemples (cette liste est certainement incomplète...)

Ainslie Software (AdaJNI)
Advanced Technology Center (AXI, Ada-UIM/X, UIM/Ada)
Black and White software (UIM/Ada)
DCS (AdaSTAT)
Excel Software (WinA&D, Wintranslator)
GrammaTech (Ada-Assured)
Integrated Computer Solutions (ICS Ada Xcessories)
I-Logix (Rhapsody-Ada)
IPL (AdaTest)
McCabe and Associates (McCabe QA/Test/Reengineer/2000)
Objective Interface Systems (ORBExpress/Ada)
Pragsoft (UML Studio, UML -> Ada)
Praxis Critical Systems (SPARK)
PolySpace Technologies (Verifier)
Raincode (Raincode Ada)
Scientific Toolworks (Understand for Ada)
Stratégies (HERAGRAPH)
Testwell (TBGen, TCMon)
TopGraph'X (XinAda, ORBAda)
Vector Software (AdaCAST)

Retour page d'accueil

Cette page vous a été utile ? Votez pour nous sur le site Weborama