What Anna Is

  • David Luckham
Part of the Texts and Monographs in Computer Science book series (MCS)


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?


Programming Language Specification Language Type Target Programming Process Informal Comment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    J. G. P. Barnes. Programming in Ada. Addison-Wesley, 1982.Google Scholar
  4. 4.
    G. Booch. Software Engineering with Ada. Benjamin Cummings, 1986.Google Scholar
  5. 5.
    N. Cohen. Ada as a Second Language. McGraw Hill, 1984.Google Scholar
  6. 6.
    D. Bryan and G. Mendal. Exploring Ada. Vol 1, Prentice Hall, 1989.Google Scholar
  7. 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. 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

Copyright information

© Springer-Verlag New York, Inc. 1990

Authors and Affiliations

  • David Luckham
    • 1
  1. 1.Computer Science LaboartoryStanford UniversityStanfordUSA

Personalised recommendations