« Go Back
- Oct 24, 2018
Ada, the language of cost saving?
- May 30, 2018
System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software engineering
- Apr 01, 2018
New Ada Features Approved
- Mar 20, 2018
You think your software works? Prove it!
- Dec 04, 2017
Hybrid Verification: Mixing Formal Methods and Testing
- Nov 16, 2017
Assessing the Ada Language for Audio Applications
- Aug 16, 2017
Code cleaning with SPARK and Ada: Cut development costs upfront
- Mar 31, 2017
Ada: a C Developer’s Perspective
- Mar 22, 2017
Comparing Ada and High Integrity C++
- Feb 24, 2017
Ada language for automation
You can find an archive of AdaIC pages on the ARA archive page.