AdaCore In the Press

• heise Developer | May 17, 2013

  Nebenläufige Programmierung in Ada

• Avionics Today | May 13, 2013

  Real-Time Operating Systems

• IEEE Software | May 3, 2013

  Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

• Electronic Specifier's digital magazine | Apr 3, 2013

  Is it safe?

• Embedded News | Mar 25, 2013

  Ada 2012 on ARM

• Embedded Computing Design | Mar 12, 2013

  Advanced static analysis meets contract-based programming

• Military Embedded Systems | Mar 12, 2013

  DO-332, the Liskov Substitution Principle, and local type consistency ramp up DO-178 certification

• ELEKTRONIK PRAXIS | Feb 27, 2013

  Ada in der Medizin (German only)

• electronic design | Feb 27, 2013

  What’s The Difference: Ada Then and Now

• Global Banking & Finance Review | Feb 20, 2013

  Decoding Banks’ Software “Glitches”

• embedded | Feb 14, 2013

  Reducing the gap between design and code for critical software with Ada 2012

• Avionics Intelligence | Feb 13, 2013

  Rockwell Collins achieves DO-178 certification using traceability analysis

• electronic design | Feb 4, 2013

  Contract-Driven Programming Takes Specification Beyond The Stone Age

• Electronic Design | Jan 25, 2013

  Ada 2012: The Joy of Contracts

• embedded | Jan 14, 2013

  Ada 2012 redux

• boards & solutions | Jan 3, 2013

  Embedded safety: multicore programming with Ada 2012

• Medical Design Briefs | Jan 1, 2013

  Formally Verifying Heart Pump Software with SPARK and Echo

• heise Developer | Dec 21, 2012

  Ada 2012: Neue Sprachversion verabschiedet (German only)

• electronic design | Dec 10, 2012

  Object Orientation in Embedded Critical Systems – don’t be scared anymore!

• E&T magazine | Dec 6, 2012

  I’d like that job - Charly Delay, software engineer, AdaCore