La notion de programmation par contrat, formalisée par Bertrand Meyer avec Eiffel, a amené la création d'une extension au langage Ada, , pour lui faire supporter des notations permettant d'exprimer des assertions contractuelles dans les spécifications.
la- nosjˈɔ̃ də- pʁɔɡʁamasjˈɔ̃ paʁ kɔ̃tʁˈa, fɔʁmalizˈe paʁ bɛʁtʁˈɑ̃ mɛjˈe avˌɛk ɛfˈɛl, a amnˈe la- kʁeasjˈɔ̃ dyn ɛkstɑ̃sjˈɔ̃ o lɑ̃ɡˈaʒ adˈa, , puʁ lyˌi fˈɛʁ sypɔʁtˈe de- notasjˈɔ̃ pɛʁmɛtˈɑ̃ dɛkspʁimˈe de-z asɛʁsjˈɔ̃ kɔ̃tʁaktyˈɛl dɑ̃ le- spesifikasjˈɔ̃.