• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | About Us | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Jul 6 '11

    AdaCore’s GNATcoverage Product Awarded Electron d’Or Prize

    Posted by AdaCore
    Open Source coverage analysis tool wins prize in 14th annual award program
    Continue Reading
  • Press Release Jun 30 '11

    Siemens Switzerland Selects AdaCore Toolset for Railway Project

    Posted by AdaCore
    GNAT Pro to be used for safety-critical software development of railway control system
    Continue Reading
  • Press Release Jun 22 '11

    LDRA Slashes Time and Cost of Certifying HC08/HCS08 to Stringent Avionics, Medical and Automotive Standards

    Posted by LDRA
    Targeting avionics, medical and automotive applications, LDRA integrated the LDRA tool suite with Code Warrior for HC08/HCS08, bringing powerful certification capabilities to this 8-bit footprint.
    Continue Reading
  • Blog Jun 16 '11

    GNAT GPL 2011 now available!

    by AdaCore

    GNAT GPL 2011, the integrated Ada, C, and C++ toolset for Academic users and FLOSS developers is now available for download. This new edition provides many new features and enhancements in all areas of the technology. The most notable ones are:

    - Improved support for Ada 2012
    - Enhanced versions of tools
    - GPS 5.0 enhanced IDE (improved support for C/C++, more powerful source editing, better usability, ….)
    - GtkAda (new widgets, interface to the Cairo graphics library)
    - More flexible and more efficient project manager tool
    - Support for unloading Ada plug-ins
    - Improved support for Ada constructs on the .NET platform
    - More detailed exception messages (-gnateE switch)
    - Complete support for Lego MINDSTORMS hardware, including audio and I2C sensors

    GNAT GPL 2011 comes with version 5.0.1 of the GNAT Programming Studio IDE and GNATbench 2.5.1, the GNAT plug-in for Eclipse.

    To download, please visit http://libre.adacore.com/libre/download.

    Read Blog Entry
  • Press Release Jun 7 '11

    AdaCore and Altran Praxis Release SPARK Pro 10

    Posted by AdaCore
    Increased flexibility and functionality for high-assurance systems
    Continue Reading
  • Blog May 31 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The third in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. This demo covers advanced data and control coupling. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Blog May 26 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The second in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. This demo covers basic data and control coupling. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Press Release May 18 '11

    Ada Resource Association Unveils New Organizational Structure

    Posted by ARA

    New sponsorship opportunities, enhanced website

    OAKTON, Va., May 16, 2011 – The Ada Resource Association (ARA), a non-profit organization chartered to sustain and promote the Ada programming language, today announced a new organizational structure designed to strengthen the association’s Ada advocacy role and to offer a wider range of opportunities for community participation and support. To help launch this initiative, the ARA has introduced a revised Ada Information Clearinghouse (AdaIC) website – http://www.adaic.org – to serve as a focal point for Ada-related news and information.

    (more…)
    Continue Reading
  • Blog May 16 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The first in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Press Release May 2 '11

    LDRA Tool Suite—First to Provide Requirements to Object-Code Traceability

    Posted by LDRA
    LDRA has developed the requirements-to-object–code traceability necessary for devices required to meet the most critical levels of certification. This comprehensive traceability ensures that verification problems found at the object-code level can be quickly and easily traced to the originating source code and requirements levels.
    Continue Reading
previous12345678910111213141516171819next
  • Press
  • Articles
  • Events

ARA Ada Resource Association

Welcome to the Ada Information Clearinghouse, your portal to news and resources for Ada and related technologies. This website is maintained by the Ada Resource Association.

Learn more about the ARA

ARA Sponsor Spotlight
Altran View All Sponsors

Case Studies

Eurofighter Typhoon

BAE Systems are using Ada in the development of software for the Eurofighter's mission computers. Continue Reading

Upcoming Events

  • 18th International Conference on Reliable Software Technologies – Ada-Europe 2013
    Jun 10-14, 2013 Berlin, Germany
  • HILT 2013
    Nov 10-14, 2013 Pittsburgh, Pennsylvania (USA)

View All Events

AdaCore Altran atego

Ada Advantages

  • Ada Overview
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2013 Ada Resource Association Site Map | Contact Us