Annotated ada



annotated ada
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.
(ftp://anna.stanford.edu/pub/anna/).
[“ANNA – A Language for Annotating Ada Programs”, David Luckham et al, Springer 1987].
(1994-11-01)

Tagged:

Read Also:

  • Annotated

    supplied with or containing explanatory notes, textual comments, etc.: an annotated edition of Milton’s poetry. to supply with critical or explanatory ; comment upon in : to annotate the works of Shakespeare. to make or . Contemporary Examples The resulting text is both social commentary and annotated memoir—equal parts enlightening and enjoyable but sharp throughout. […]

  • Annotated bibliography

    noun a bibliography that includes brief explanations or notes for each reference Examples An annotated bibliography helps the researcher determine which sources are relevant to a line of inquiry. Historical Examples The chronological table and annotated bibliography are of real value. A Field Book of the Stars William Tyler Olcott For instance, the other day […]



  • Annotinous

    one year old.

  • Announce

    to make known publicly or officially; proclaim; give notice of: to announce a special sale. to state the approach or presence of: to announce guests; to announce dinner. to make known to the mind or senses. to serve as an of: The mayor announced the program. to state; declare. to state in advance; declare beforehand. […]



Disclaimer: Annotated ada definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.