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

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Feb 28 '12

    AdaCore Releases GNAT Pro 7.0

    Posted by AdaCore
    Open-source research projects combine model-based integration and qualified code generation for safety-critical systems
    Continue Reading
  • Press Release Feb 28 '12

    AdaCore Releases Major New Version of CodePeer Static Analysis Tool

    Posted by AdaCore
    Full support for the upcoming Ada 2012 language standard
    Continue Reading
  • Press Release Jan 10 '12

    AdaCore and SofCheck Merge

    Posted by AdaCore
    Ada expert Tucker Taft joining AdaCore as Director of Language Research
    Continue Reading
  • Press Release Sep 27 '11

    AdaCore Releases Major New Version of GNAT Programming Studio

    Posted by AdaCore
    GPS 5.1 Integrated Development Environment brings new C/C++ features, improved support for CodePeer, and more powerful source editing
    Continue Reading
  • Press Release Sep 27 '11

    Digicomp Research Shows Continuing Success with Ada and GNAT Pro in Military Aerospace Arena

    Posted by AdaCore
    Digicomp Research has reaffirmed their commitment to Ada based on their continuing success with the language, by renewing their long-standing subscription for the GNAT Pro Ada development environment.
    Continue Reading
  • Press Release Jul 19 '11

    LDRA Takes Leadership Role in Security Compliance

    Posted by LDRA
    With the LDRA announcement of being able to test software for Homeland Security’s CWE compatibility standard, LDRA’s leadership in the security sector has been recognized by Military Embedded Systems.
    Continue Reading
  • 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
  • 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
previous12345678910111213141516171819next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
AdaCore View All Sponsors

Upcoming Events

  • HILT 2022 – Supporting a Rigorous Approach to Software Development
    Oct 14, 2022 Ann Arbor, Michigan

View All Events




AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • 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-2022 Ada Resource Association Site Map | Contact Us