• 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 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 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 7 '11

    AdaCore and Altran Praxis Release SPARK Pro 10

    Posted by AdaCore
    Increased flexibility and functionality for high-assurance systems
    Continue Reading
  • Press Release May 2 '11

    NIST Report Shows SPARK Most Suitable Language for Secure Programming

    Posted by AdaCore, Altran
    The SPARK language shown to have fewest vulnerabilities.
    Continue Reading
  • Press Release May 2 '11

    Thales Selects AdaCore Toolset for Argos Satellite Project

    Posted by AdaCore
    GNAT Pro to be used on high-assurance software for global location and data collection system.
    Continue Reading
  • Press Release May 2 '11

    Rockwell Collins Selects GNAT Pro for Advanced Avionics Display System

    Posted by AdaCore
    GNAT Pro High-Integrity Edition for DO-178B used for EFIS/EICAS upgrade and modernization
    Continue Reading
  • Press Release Mar 1 '11

    EADS CASA Selects AdaCore Toolset for nEUROn Unmanned Aircraft

    Posted by AdaCore
    EADS CASA is using the GNAT Pro High-Integrity Edition to implement the data exchange and air-to-ground data links systems for the nEUROn Unmanned Combat Air Vehicle (UCAV) demonstrator.
    Continue Reading
  • Press Release Mar 1 '11

    Airbus Military Certifies to DO-178B level A Using GNATcheck

    Posted by AdaCore
    AdaCore, provider of tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Airbus Military has successfully certified the Airbus Military Aerial Refueling Boom System (ARBS) on the A330 Multi Role Tanker Transport (MRTT). The certification was simplified by the use of the qualified GNATcheck tool to verify conformance to the software coding standard required by the ARBS project. Verification of conformance was undertaken as part of the DO-178B level A Software Verification Process.
    Continue Reading
previous123456789101112131415next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • ARG
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

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-2023 Ada Resource Association Site Map | Contact Us