Программное обеспечение без ошибок:
язык Ada 2012
Статья посвящена истории развития и возможностям промышленного языка программирования Ada 2012, который используется для разработки программного обеспечения встраиваемых компьютерных систем с повышенными требованиями к надежности и безопасности.
