Мова програмування Ada, який завдяки своїй надійності часто використовується в управлінні повітряним рухом, банківською діяльністю та інших галузях економіки з високими ризиками, стала ще гнучкішою і надійнішою завдяки 3-го видання стандарту ISO/IEC 8652:2012 «Інформаційні технології. Мови програмування. Ada».

Поряд з іншими удосконаленнями, остання версія мови Ada пропонує засоби, які зазвичай називають «контрактним програмуванням». Основна ідея контрактного програмування - це модель взаємодії елементів програмної системи, яка грунтується на ідеї взаємних зобов'язань і переваг, тобто, як в бізнесі, коли клієнт і постачальник діють у відповідності з певним контрактом.
Властивості, пропоновані мовою програмування Ada, забезпечують значний захист програм від помилок і несанкціонованого використання.

З часу свого створення мова Ada зазнала багато змін і в даний час надає більшу керованість та підтримку. У версії 2012 року були додатково посилені її можливості і виразні засоби, що в кінцевому рахунку призвело до підвищення надійності та безпеки програм, які базуються на цій мові.

Це дуже важливо, оскільки Ada часто використовується в галузях, де безпека і надійність мають вирішальне значення. Наприклад, авіація і управління повітряним рухом, супутники, медичний та банківський сектори, залізничний транспорт і метро, ​​а також оборонна сфера тощо.

Мова була розроблена на замовлення Міністерства оборони США з метою консолідації мов програмування в оборонній галузі, і була опублікована як стандарт ISO в 1987 році.

Стандарт ISO/IEC 8652:2012 «Інформаційні технології. Мови програмування. Ada» розроблений підкомітетом SC 22 «Мови програмування, їх операційне середовище і інтерфейси системного програмного забезпечення» спільного технічного комітету ISO/IEC JTC 1 «Інформаційні технології».