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