Anna Package Specification: Case Studies.

Abstract

We present specification techniques of Ada software, based on the Anna specification language, and examples of Ada packages formally specified in Anna. A package specification for an abstract set data type is used to illustrate the techniques and pitfalls involved in the process of software specification and development. This specification not only exemplifies good Anna style and specification approach, but has a secondary goal of teaching the reader how to use Anna and the associated set of Anna tools developed at Stanford University over the past six years. Additional packages are presented which reflect a variety of styles and approaches to specify Ada packages. The technical report thus aims to give readers a new way of looking at the software design and development process, synthesizing fifteen years of research in the process.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1991
Accession Number
ADA311117

Entities

People

  • John J. Kenney
  • Walter Mann

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Automatic
  • Complex Numbers
  • Composite Materials
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Debugging
  • Electrical Engineering
  • Engineering
  • Instrumentation
  • Language
  • Petri Nets
  • Software Development
  • Standards
  • User Interface

Fields of Study

  • Engineering

Readers

  • Mycotoxin ecology in Amazonian ecosystems.
  • Software Engineering.
  • Systems Analysis and Design