The Ada Resource Association
Why Ada?
 Spotlighting an ARA member:
Why Use Ada?
  • Why Use Ada?
    Consider some of the reasons companies cite for switching to Ada: Some organizations are looking to improve the reliability of their software because system errors could have fatal consequences to life or the financial health of their business. So, they choose Ada for its unique and powerful safeguards. Other companies choose Ada for its ability to reduce software development and maintenance costs.
  • Choose Ada
    For companies throughout the world, Ada is the programming language of choice for all the right reasons. These companies know that Ada is their most effective language for building fast, reliable, and adaptable systems, on time.
  • Ada "Reloaded" a Winner for High-Integrity Real-Time Apps
    This article from the COTS Journal explains how Ada is still the technology to beat in high-integrity real-time applications. New features in Ada 2005 help strengthen Ada's position.
  • Ada Does Multicore Now
    Multicore programming is a new buzzword. Ada has always supported multiprocessor systems, and multicore systems are no different. This section gives an overview of the use of Ada to program multicore systems.
  • Ada Helps Churn Out Less Buggy Code
    An interview with S. Tucker Taft, chairman of the Ada Resource Association and lead designer of Ada 95. He describes why Ada is still important, and his view of the future of Ada.
  • Ada Enhances Embedded Systems Development
    An overview of Ada features for embedded systems development, explaining how they can improve the correctness and maintainability of a system without sacrificing runtime performance.
  • Need Secure Software?
    An article from Application Software Developer describes how Ada is a good match for the "Common Criteria" for developing high-integrity systems.
  • Robotics with Ada95
    This Circuit Cellar article describes using Ada 95 for robotics applications.
  • Comparing Ada to C and C++
    For many users, the choice is between using Ada and C++. This section provides overviews and comparison studies which show that Ada is better suited for building reliable software, and that using Ada reduces defects — which saves money.
  • From Extended Pascals to Ada 95
    If you are familiar with an extended Pascal (like Delphi, Turbo Pascal, UCSD Pascal, VAX Pascal, or many others), this article compares many Pascal extensions with their standard counterparts in Ada 95. Since these features are standard, they work in the same way on all Ada compilers, meaning that code works the same way on Sun workstations, Linux boxes, Windows laptops, and the DOS emulator on your PDA.
  • Use Ada For Better Safety, Security, And Reliability
    An Electronic Design article noting the advantages of Ada for high-integrity systems (and others where correctness matters).

General Information on Ada

  • Introducing Ada
    A quick tour of Ada 95, looking at all of the major features of the language and how they help promote the construction of reliable software.
  • Ada Terminology
    A glossary of Ada terminology.
  • Ada Distilled (.pdf)
    A book which provides a quick-start introduction to Ada 95 for experienced programmers. For other Ada books available on-line, see our free textbooks page.
  • An Overview of Ada 95
    An overview of Ada 95, concentrating on features added by Ada 95.
  • FAQs
    Two web sites offer separate lists of Frequently Asked Questions (FAQs) about Ada. The sites cover different ground, so check both of them for answers.
    • Ada Power
      The most up-to-date AdaFAQ, which David Botton actively maintains, is on AdaPower.

    • Ada Home
      While the Ada Programmer's Frequently Asked Questions page covers a broader variety of topics, Magnus Kempe no longer maintains the AdaHome site and some of the links are broken. While we have a copy of the FAQ, we cannot update or correct it because of the author's copyright restrictions.
Sponsored by the following ARA member companies:
ARA Members AdaCore Praxis Critical Systems IBM Rational Sofcheck
 
Valid HTML 4.01! Valid CSS!