(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].
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 […]
one year old.
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. […]