Accession Number : ADA311117

Title :   Anna Package Specification: Case Studies.

Descriptive Note : Technical rept. no. 56,

Corporate Author : STANFORD UNIV CA DEPT OF ELECTRICAL ENGINEERING

Personal Author(s) : Kenney, John J. ; Mann, Walter

PDF Url : ADA311117

Report Date : OCT 1991

Pagination or Media Count : 114

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.

Descriptors :   *SOFTWARE ENGINEERING, *SPECIFICATIONS, *CASE STUDIES, COMPUTER PROGRAMS, EDUCATION, SECONDARY, ABSTRACTS, ADA PROGRAMMING LANGUAGE.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE