annotated ada

Computing Dictionary

ANNotated Ada definition

language, 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 adds semantic assertions in the form of Ada comments.
["ANNA - A Language for Annotating Ada Programs", David Luckham et al, Springer 1987].
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Previous Definition: annotated
Next Definition: annotated bibliography
Words Near: annotated ada
More from
Synonyms and Antonyms for annotated ada
More from
Search for articles containing annotated ada
More from Translator Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature