Site Map - Ada Resource Association

Site Map

Ada Advantages

Ada Projects

Learn Ada

Resources

ARA Community

Press

May 29, 2013 AdaCore Announces Successful Completion of Project Hi-Lite
Apr 23, 2013 AdaCore Releases Major New Version of CodePeer Static Analysis Tool
Apr 23, 2013 AdaCore Releases GNAT Pro 7.1
Apr 23, 2013 TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project
Mar 12, 2013 Atego Releases New Version of Atego ApexAda Developer for Ada 2005
Feb 26, 2013 AdaCore Releases GNAT Pro Safety-Critical for ARM Processors
Feb 14, 2013 Ada 2012 : A Love Story (for geeks)
Dec 18, 2012 Ada 2012 Language Standard Approved by ISO
Dec 04, 2012 GNAT Pro Solves Data Endianness Portability Challenge
Dec 04, 2012 Traceability Analysis Helps Rockwell Collins Achieve DO-178B Certification

View All Press Releases

Articles

Apr 09, 2013 Ada 2012: Ada With Contracts
Apr 09, 2013 A new Embedded Ada book
Feb 19, 2013 Comprehensive Bibliography of Ada Language Publications
Feb 19, 2013 Is Ada ready for mainstream embedded designs?
Feb 14, 2013 Reducing the gap between design and code for critical software with Ada 2012
Feb 04, 2013 Contract-Driven Programming Takes Specification Beyond The Stone Age
Jan 31, 2013 Ada 2012: say what you mean, mean what you say
Jan 25, 2013 Ada 2012: The Joy of Contracts
Jan 17, 2013 Ada 2012 Redux
Dec 21, 2012 Ada 2012 language standard gets ISO approval

View All Articles

Events

Apr 25, 2013 Ada Conference UK 2013
Nov 10-14, 2013 HILT 2013
Jun 10-14, 2013 18th International Conference on Reliable Software Technologies – Ada-Europe 2013
Sep 25, 2012 GNAT Industrial User Day
Nov 14-15, 2012 Automotive 2012
Sep 17-21, 2012 ESC / Design East
Dec 2-6, 2012 HILT 2012
Jun 11-15, 2012 17th International Conference on Reliable Software Technologies – Ada-Europe 2012
Sep 13, 2011 - Dec 8, 2011 RTECC – Real Time Embedded Computing Conferences
Nov 29, 2011 - Dec 1, 2011 Certification Together International Conference (CTIC)

View All Events

Blogs

May 16, 2013 Updated Ada 2012 Rationale available
Apr 17, 2013 Highlighting Ada on Social Media Sites
Apr 08, 2013 Ada inflitrates strongSwan
Mar 11, 2013 Free tools and libraries updates
Mar 09, 2013 Site updates
Feb 28, 2013 Updated ARA Edition of the Ada 2012 Rationale adds information on pools, iterators
Dec 12, 2012 Ada drives Welsh social care model
Dec 10, 2012 Corporate BS Generator
Jul 31, 2012 Ada speaks many languages
Jul 04, 2012 AdaMagica: Smart_Pointers with Ada 2012 functionality

You can find an archive of AdaIC pages on the ARA archive page.