The Community for Technology Leaders
Green Image
Issue No. 02 - March/April (1985 vol. 2)
ISSN: 0740-7459
pp: 9-22
D.C. Luckham , Stanford University
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.
INDEX TERMS
null
CITATION
F.W. Von Henke, D.C. Luckham, "An Overview of Anna, a Specification Language for Ada", IEEE Software, vol. 2, no. , pp. 9-22, March/April 1985, doi:10.1109/MS.1985.230345
96 ms
(Ver )