Ada[에이다]는 파스칼과 다소 비슷한 프로그래밍 언어로서, 경쟁을 통해 미국 국방부 표준으로 선정되었다 (이 이름은 기계식 해석엔진 내에서 프로그램들이 어떻게 동작하는지를 이해한 찰스 바베지를 돕던 Augusta Ada Byron을 위해 지어졌다. 그녀는 종종 세계 최초의 컴퓨터 프로그래머라고 간주되고 있다). Ada는 원래 실시간 장착 시스템을 위해 의도된 것이다.
Ada는 지지자들은, Ada가 에러가 생기기 쉬운 표현형식을 피하는 프로그래밍 언어이며, 상대적으로 빠르게 구현할 수 있고, 재사용이나 팀 협조를 촉진하며, 다른 프로그래머들이 비교적 쉽게 이해할 수 있다고 주장한다. 가장 최신 버전인 Ada 95는 이전의 버전에 비해 외관상 현격한 개선이 있었다. 컴퓨터 전문가들 사이에 Ada는 예외처리와 프로세스간 통신 기능이 형편없는 언어로서 정평이 있다. 그러나, 전문가들이 아직도 그렇게 느끼고 있는지는 확실치 않다. Ada 홈페이지에는 "최초의 Ada 설계안은 언어설계 경쟁에서 우승자였다. 우승팀은 Jean Ichbiah가 대표를 맡았었다. Ada 95는 Tucker Taft가 이끄는 작은 팀에 의해 개발되었다. 두 가지 경우 모두에서, 설계자들이 공공의 비평에 답변하는 기간을 경험하였다."라고 밝히고 있다.
Ada 95는 객체지향 설계 방법론과 함께 사용될 수 있으며, 원시프로그램은 Ada 95 컴파일러에 의해 자바 클래스로 컴파일 될 수 있다. 이러한 클래스들은 자바 가상머신 상에서 자바 애플릿이나 응용프로그램처럼 실행될 수 있다. 1983년에 ANSI에 의해, 1987년에는 ISO에 의해 처음 표준화되었으며, 최신의 표준은 ANSI/ISO/IEC-8652:1995 Ada 95이다.
