Can I read ANNA: Annotating Ada Programs Manual on EtoBox?

ANNA: Annotating Ada Programs Manual by Azeem Mohammed is a document available to read on EtoBox.

What is ANNA: Annotating Ada Programs Manual about?

This reference manual describes ANNA, a language for annotating Ada programs. ANNA allows for formally specifying the intended behavior of Ada programs through precise machine-processable annotations. The design of ANNA aims to make annotation construction easy for Ada programmers while providing capabilities for specification and documentation used in formal methods. ANNA is intended to support various applications of program specification throughout the software development lifecycle.

Author

Azeem Mohammed

Language

EN