technology corner professional training calendar highlights / November 2015–February 2016

Source URL: www.adacore.com

• Ada
• SPARK
• CodePeer
• GNAT
• A Sharp
• Avionics software
• Computer programming
• Static program analysis
• Design by contract
• Subroutine
• CrazyFlie
• Embedded system