Ada Europe 2012

AdaCore will give the following presentation “Source Code as the Key Artifact in Requirement-Based Development: the case of Ada 2012″ – Cyrille Comar, José Ruiz and Yannick Moy, and the following tutorials:

“DO-178C: The Next Avionics Software Safety Standard” – Ben Brosgol
“Experimenting with ParaSail – Parallel Specification and Implementation Language” – Tucker Taft

Our partners, Altran Praxis, will give the following tutorials “The Benefits of Using SPARK for High-assurance Software” and “The Use of Proof and Generics in SPARK” – Trevor Jennings and Robin Messer