Стандарт Ada 2012 утвержден и опубликован

20 ноября 2012 г. Объединенный Технический Комитет ISO/IEC по информационным технологиям утвердил новую редакцию стандарта языка программирования Ada ISO/IEC 8652:2012, известную как Ada 2012. В стандарте появилась возможность «контрактного программирования» (contract-based programming). В тексте программы определяется «контракт» — набор логических условий, которые будут автоматически проверяться в ходе выполнения программы в определенные моменты, например перед вызовом процедуры (предусловия) или после выполнения процедуры (постусловия). Таким образом, в текст программы встраиваются описания формальных требований, и при выполнении программы производится проверка соответствия им. Эти и другие новые возможности Ada 2012 соответствуют требованиям приложения DO-332 Object-Oriented Technologies and Related Techniques новой версии стандарта DO-178C.

Полная информация об Ada 2012 размещена на сайте.