Cette formation s'adresse aux développeurs qui connaissent déjà Ada 95 et souhaitent se former aux nouvelles possibilités apportées par Ada 2005 et Ada 2012.
Ada 2012 est depuis le 15 décembre 2012 la seule version officiellement normalisée du langage. Concrètement, c'est une révision de la norme Ada 95, augmentée des améliorations d'Ada 2005, qui apporte les nouvelles fonctionnalités correspondant à l'évolution de l'état de l'art en informatique. Les compilateurs ont déjà commencé à implémenter les nouvelles fonctionnalités.
Ada 2005 avait apporté des compléments dans les domaines où des insuffisances étaient apparues à l'usage:
- Support des interfaces selon un modèle proche de ce que l'on trouve en Java/C#;
- Extension des types accès généralisés;
- Support des modèles d'ordonnancement les plus modernes (EDF);
- Extension de la bibliothèque prédéfinie.
A celà, Ada 2012 apporte en plus:
- La programmation par contrat (pré- et post-condition, invariants)
- Itérateurs définis par l'utilisateur
- Expressions conditionnelles, prédicats
- Support des architectures multi-cœurs
- Extension de la bibliothèque prédéfinie.