Autumn-Winter 2015

  • Happy 20th Birthday, AdaCore!
  • A Brief History of GNAT Pro
  •  1 AdaCore and Safety Certification
  • A Brief History of SPARK Pro
  • Interview with Robert Dewar and Cyrille Comar
  • A Brief History of CodePeer
  • A Brief History of the GPS and GNATbench IDEs
  • Workshop on Medical Device Software Security
  • Upcoming Releases
  • Public Ada Course, Spring 2015
  • A Brief History of AdaCore and Education
  • Newsflash
  • Conferences/Events
Last Updated: 10/2/2017
Posted on: 2/16/2015