Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has built-in language support for design-by-contract, extremely strong typing, explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international standard; the current version (known as Ada 2012) is defined by ISO/IEC 8652:2012. 

Ada was originally designed by a team led by Jean Ichbiah of CII Honeywell Bull under contract to the United States Department of Defense (DoD) from 1977 to 1983 to supersede over 450 programming languages used by the DoD at that time. Ada was named after Ada Lovelace (1815–1852), who has been credited with being the first computer programmer. 

Ada was originally targeted at embedded and real-time systems. The Ada 95 revision, designed by S. Tucker Taft of Intermetrics between 1992 and 1995, improved support for systems, numerical, financial, and object-oriented programming (OOP). 

Features of Ada include: strong typing, modularity mechanisms (packages), run-time checking, parallel processing (tasks, synchronous message passing, protected objects, and nondeterministic select statements), exception handling, and generics. Ada 95 added support for object-oriented programming, including dynamic dispatch.
What type of language is Ada?
What is a language it was derived from?
Is it low-level?
Does it have task support?
Does it make things safer?
What is the latest kind?
What criteria defines it?
Is it internationally accepted?
Who first created it?
For what organization?
For what government organization?
When?
How many other machine languages did it replace?
Who inspired the name?
What was she famous for?
Who developed the 95 iteration of the language?
When?
Did the 95 iteration weaken system assistance?
How is the code's support for type entry characterized?
computer programming
Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language,
Pascal and others
extended from Pascal and other languages
no
high-level computer programming
yes
It has built-in language support for design-by-contract, extremely strong typing, explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism. 
yes
 Ada improves code safety
Ada 95
The Ada 95 revision
improved support for systems, numerical, financial, and object-oriented programming (OOP)
improved support for systems, numerical, financial, and object-oriented programming (OOP)
yes
 Ada is an international standard
Jean Ichbiah and his team
Ada was originally designed by a team led by Jean Ichbiah of CII Honeywell Bull
CII Honeywell Bull
Jean Ichbiah of CII Honeywell Bull
the United States Department of Defense
the United States Department of Defense (DoD)
from 1977 to 1983
 from 1977 to 1983
over 450
over 450 programming languages
Ada Lovelace
 Ada was named after Ada Lovelace (1815–1852)
first computer programmer
who has been credited with being the first computer programmer.
S. Tucker Taft
The Ada 95 revision, designed by S. Tucker Taft 
between 1992 and 1995
between 1992 and 1995
no
improved support for systems
dynamic dispatch
 Ada 95 added support for object-oriented programming, including dynamic dispatch