What Anna Is
We can do a lot more with modern programming languages than we currently do. Normally, we use them simply to write programs. But programs have become problematic in so many ways — bugs, size, cost, and incompatibility, to mention but four — that attention is shifting from the program itself to the processes of writing programs. What are the processes we refer to as “programming”? How can we turn programming into a precise science?
KeywordsProgramming Language Specification Language Type Target Programming Process Informal Comment
Unable to display preview. Download preview PDF.
- 1.Jean Ichbiah et al. The Programming Language Ada,Reference Manual. ANSI/MIL-STD-1815A, Lecture Notes in Computer Science No. 155, Springer-Verlag, 1983.Google Scholar
- 2.D. C. Luckham, F. W. von Henke, B. Krieg-Bruckner, O. Owe. Anna, A Language for Annotating Ada Programs. Reference Manual, Lecture Notes in Computer Science No. 260, Springer-Verlag, 1987.Google Scholar
- 3.J. G. P. Barnes. Programming in Ada. Addison-Wesley, 1982.Google Scholar
- 4.G. Booch. Software Engineering with Ada. Benjamin Cummings, 1986.Google Scholar
- 5.N. Cohen. Ada as a Second Language. McGraw Hill, 1984.Google Scholar
- 6.D. Bryan and G. Mendal. Exploring Ada. Vol 1, Prentice Hall, 1989.Google Scholar
- 7.D. L. Parnas and P. C. Clements. The Rational Design Process: How and Why to Fake It. IEEE Transactions on Software Engineering, Vol. SE-12, No. 2, February 1986, pp. 251–257.Google Scholar
- 8.F. P. Brooks, Jr. No Silver Bullet — Essence and Accidents of Software Engineering. Information Processing ‘86, H. J. Kugler (ed.), Elsevier Science Publishers B. V. (North Holland) 1986.Google Scholar