The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March/April (1985 vol.2)
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
D.C. Luckham, "An Overview of Anna, a Specification Language for Ada", IEEE Software, vol.2, no. 2, pp. 9-22, March/April 1985, doi:10.1109/MS.1985.230345
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool