Title :
An Overview of Anna, a Specification Language for Ada
Author :
Luckham, David C. ; Von Henke, Friedrich W.
Author_Institution :
Stanford University
fDate :
3/1/1985 12:00:00 AM
Abstract :
The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need.
Keywords :
Computer languages; Data structures; Debugging; Formal specifications; Law; Legal factors; Packaging; Process design; Programming profession; Specification languages;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.1985.230345
