ADL
1 link
Assertion Definition Language: ADL
adl.opengroup.org
For defining programming interfaces, including post-conditions, error specification.