fecjipaget

• Author: David C Luckham
• Published Date: 15 Jan 2014
• Publisher: Springer
• Format: Paperback::156 pages, ePub, Audiobook
• ISBN10: 366217846X
• Filename: anna-a-language-for-annotating-ada-programs.pdf
• Dimension: 156x 234x 8mm::227g
• Download: Anna a Language for Annotating ADA Programs

Anna a Language for Annotating ADA Programs download book. ANNA is a proposed language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs (or portions thereof) at all stages of program development. Anna programs are Ada programs extended formal comments. Formal comments in ANNA consist of virtual Ada text and annotations. Anna A Language For Annotating Ada Programs Reference Manual Lecture Notes In Computer Science. Ada Reference Manual - Ada Resource Association (Anna) A specification language developed at Stanford University ca. ["ANNA - A Language for Annotating Ada Programs", David Luckham et al, Springer This 1991 report describes ANNotated ADA (Anna), a method for the formal of a lower level specification of the system, and the implementation language. B