« [ Back to Home ] »
<< Return to Computer Dictionary Home

Computer Dictionary Online

Search Computer Term Definition

Web	Bestonlinedictionary.com

[ Home ] [ Law Dictionary ] [ Medical Dictionary ] [ Computer Dictionary ]

A to Z Computer Terms Dictionary, Definitions Search

| 0-9 | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q |
| R | S | T | U | V | W | X | Y | Z |

Anna ==>

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.

ftp://anna.stanford.edu/pub/anna/.

["ANNA - A Language for Annotating Ada Programs", David Luckham et al, Springer 1987].

(1994-11-01)

Nearby terms: Anna « annealing « annotate « ANNotated Ada » annotation » annoybot » annoyware

<< Return to Computer Dictionary Home Page

computer dictionary, computer terms dictionary, online computer dictionary, computer definition dictionary online, microsoft computer dictionary fifth edition, computer lingo dictionary, computer terminology dictionary, computer computer dictionary dictionary internet internet terms terms, barrons business computer dictionary dictionary internet terms, abbreviation computer dictionary lingo, computer dictionary edition new tenth websters world, computer dictionary with terms and definition, computer science dictionary, american computer dictionary house language random sign websters, dictionary computer internet terms, microsoft computer dictionary, computing dictionary

[ Home ] [ Law Dictionary ] [ Medical Dictionary ] [ Computer Dictionary ]

Advertisers : www.hobbyprojects.com, www.sciencelobby.com, www.hotgamecheater.com,
www.indianfoodrecipes.net, www.joyeemukherjee.com, www.beautytipsforwomen.net

Best Online Dictionary .com