slovodefinícia
annotated ada
(foldoc)		ANNotated Ada
Anna

(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)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4