ANNA
Published • Jan 1, 1980
NobleIDNI1P53W42R80S79
Authors:,
Bernd Krieg Brückner
D Luckham
Abstract
ANNA is a proposal to extend Ada to include facilities for formally specifying the intended behaviour of Ada programs (or portions thereof) at all stages of program development. ANNA programs are Ada programs with formal comments. Formal comments in ANNA consist of virtul Ada text and annotations. T...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!