specification> (Anna) A specification language developed at stanford University ca. 1980 for formally specifying Ada programs. It has a specification Analyzer and a Consistency Checking system. It addssemantic assertions in the form of Ada comments. . ["ANNA - A Language for Annotating Ada Programs", David Luckham et al, springer 1987]. (1994-11-01)