|
|
- AdaCore
AdaCore produces and maintains the GNAT Pro Ada development environment, and specializes
in on-line project support and consulting for GNAT Pro users. GNAT Pro runs on a wide
variety of native and cross platforms and is being used for mission-critical software in
domains ranging from hard realtime embedded systems to enterprise applications.
- IBM Rational Software
Provides software development tools and services that automate the component-based
development of software applications.
- Praxis Critical Systems
Praxis is the developer of the SPARK language and toolset, which
are finding increased usage in safety- and security-critical systems.
In addition to being both language designers and tool vendors, Praxis is
also a practicing software engineering company, and is renowned for
their fearless pursuit of quality in software engineering. Praxis has
built software systems meeting the most demanding standards, such as
SHOLIS (Def Stan 00-55 SIL4), The MULTOS CA (ITSEC E6) and the C130J
Mission Computers (DO178B Level A).
- SofCheck
Formed in April 2002 to support quality-oriented software development teams, SofCheck
specializes in three technology areas: the well-known AdaMagicTM Technology,
Automated Bug Detection Technology, and Software Development Portal Technology.
|
Sponsored by the following ARA member companies:
|  |
