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

Ada Resource Association

News and resource for the Ada programming language

  • Article Mar 3 '20

    AUJ Quarterly News Digest, June 2019

    Published in Ada User Journal by Ada User Journal
    The Quarterly New Digest from the Ada User Journal, Issue 40.2, June 2019, highlights updates to various Ada Tools and Libraries, and various interesting usage questions.
    Download PDF
  • Article Nov 28 '19

    AUJ Quarterly News Digest, March 2019

    Published in Ada User Journal by Ada User Journal
    The Quarterly New Digest from the Ada User Journal, Issue 40.1, March 2019, highlights updates to various Ada Tools and Libraries, and various interesting usage questions.
    Download PDF
  • Article Oct 30 '19

    Make It With Ada 2019

    Published in Electronic Design by William Wong
    William Wong announces the 2019 edition of the Make It With Ada contest.
    Continue Reading
  • Article Oct 29 '19

    Learn and Use Ada and SPARK

    Published in Electronic Design
    Electronic Design provides a compilation of all of their articles on Ada and SPARK.
    Continue Reading
  • Article Oct 24 '19

    The Future of Safe Programming

    Published in Circuit Cellar
    As software is getting more and more tightly involved in almost every device, so are demands for safety and security. The automotive domain with assisted or autonomous driving is a good example (Figure 1). The increased cost may look prohibitive at first, but fortunately, there are other ways to improve the situation: starting by improving the programming language itself.
    Continue Reading
  • Article Feb 6 '19

    Securing the Future of Safe Autonomous Driving

    Published in NVidia by Shri Sundaram
    NVidia is working with AdaCore to make improve the correctness of firmware.
    Continue Reading
  • Article Oct 24 '18

    Ada, the language of cost saving?

    Published in Electronic Design by William Wong
    A paper from VDC Research makes a compelling case that the Total Cost of Ownership of software developed in Ada is less than competing technologies, and that Ada projects are more likely to be on schedule.
    Continue Reading
  • Article May 30 '18

    System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software engineering

    Published in Intelligent Aerospace by Courtney E. Howard
    This article discussed the continuing adoption of Ada in aerospace and unmanned vehicle applications.
    Continue Reading
  • Article Apr 1 '18

    New Ada Features Approved

    Published in Accurate Ada News
    The several new features for the Ada language have been approved. Included is a new assertion policy and a new pragma intended to improve the safety of Ada code.
    Continue Reading
  • Article Mar 20 '18

    You think your software works? Prove it!

    Published in Embedded.com by Ben Brosgol
    The author discusses using Ada and SPARK to create a hybrid verification environment, where some of the code is proved with SPARK and the rest is tested traditionally.
    Continue Reading
previous12345678910next
  • Press
  • Articles
  • Events
Filter by Tags
  • Ada 2005
  • Ada 2012
  • Ada 95
  • Ada Lovelace
  • Charles Babbage
  • contract-based programming
  • DO-178C
  • Embedded/Real-time
  • Formal Methods
  • Formal Verification
  • Multicore
  • Safety
  • Security
  • software design
  • SPARK
  • Static Analysis

ARA Sponsor Spotlight
AdaCore 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