ADA 2012 and introduced contract-based programming along with the ability to specify pre/post-conditions for sub-programs, and invariants for private types. Other enhancements advanced the areas of contrainers library, expressiveness for various features, and support for multi-core platforms.
The original version of ADA, which was developed by the US Department of Defense, was approved as a standard by the International Organization for Standardization nearly thirty years ago.
The press release announcing the ADA 2012 ISO standardization can be found at ADACore.com. The ADA 2012 language reference manual and other programming language details can be found at ADA-Auth.org.