• DocumentCode
    1208544
  • Title

    An Overview of Anna, a Specification Language for Ada

  • Author

    Luckham, David C. ; Von Henke, Friedrich W.

  • Author_Institution
    Stanford University
  • Volume
    2
  • Issue
    2
  • fYear
    1985
  • fDate
    3/1/1985 12:00:00 AM
  • Firstpage
    9
  • Lastpage
    22
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/MS.1985.230345
  • Filename
    1695291
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1208544