ТЕХНОЛОГИИ
Программное обеспечение без ошибок? Язык Ada 2012.
Правильный язык не только «заставит» программиста не делать ошибок, но и позволит применить средства разработки и верификации, которые значительно повысят надежность и безопасность ПО критической системы и облегчат ее сертификацию.