OnlineWoerterBuecher.de
Internes

Lexikon

ANNotated Ada


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. . ["ANNA - A Language for Annotating Ada ProgramS", David Luckham et al, Springer 1987]. (1994-11-01)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ ad ] [ ag ] [ al ] [ am ] [ an ] [ Anna ] [ ar ] [ arc ] [ aS ] [ aSSertion ] [ at ] [ av ] [ b ] [ C ] [ ca ] [ cat ] [ Ch ] [ ch ] [ ci ] [ ck ] [ co ] [ com ] [ comment ] [ cy ] [ D ] [ dd ] [ de ] [ du ] [ ec ] [ ed ] [ edu ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ iS ] [ it ] [ kh ] [ ki ] [ la ] [ language ] [ Lex ] [ ly ] [ ma ] [ mall ] [ man ] [ mm ] [ mo ] [ mod ] [ module ] [ mS ] [ N ] [ na ] [ nc ] [ nf ] [ ng ] [ ni ] [ NN ] [ nn ] [ no ] [ nS ] [ om ] [ op ] [ pe ] [ ph ] [ pr ] [ program ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Se ] [ Si ] [ Sit ] [ Spec ] [ Spec ] [ Specification ] [ St ] [ Stanford UniverSity ] [ th ] [ tp ] [ ua ] [ ve ] [ vi ]






[ Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (4092 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0932 Seconds, with 17 Database-Queries
Zurück zur Startseite