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)
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. […]
- Announce for
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. […]