профессиональный стандартизованный язык программирования из семейства Паскаля. Разработан  в результате конкурса группой экспертов под руководством Дж. Ишбиа в 1975-1983 годах как единый язык программирования министерства обороны США. В своем первоначальном виде (Ada 83) является профессиональным процедурным модульным языком программирования с поддержкой абстрактных типов данных (АТД). Язык поддерживает строгую типизацию, вплоть до полного запрета неявных преобразований типов. Язык также содержит встроенные средства для многозадачной работы. После переработок в 1995 и 2005 годах в язык были включены многочисленные расширения, включая объектно-ориентированные.

В идеологии языка основное внимание уделяется надежности создаваемых программ. Синтаксически язык относится к алголо(паскале)подобным, его особенности связаны с идеологическим требованием «...язык должен обеспечить легкость чтения и понимания программ, легкость написания программ не является целью языка...»/p>

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