. Ада — это структурированный, статически типизированный, императивный, широкий -спектр и объектно-ориентированный -высокий уровень -языка программирования, расширенный из Паскаля и других языков. Он имеет встроенную -языковую поддержку явного параллелизма, предлагает задачи, синхронную передачу сообщений, защищенные объекты и недетерминированность -. Ада является международным стандартом.