Accession Number : ADA311118

Title :   Anna Package Specification Analyzer User Guide.

Descriptive Note : Technical rept. no. 60,

Corporate Author : STANFORD UNIV CA DEPT OF ELECTRICAL ENGINEERING

Personal Author(s) : Mann, Walter

PDF Url : ADA311118

Report Date : JAN 1993

Pagination or Media Count : 43

Abstract : The Anna Package Specification Analyzer is a tool used in developing Ada package specifications annotated with Anna language constructs. The tool constructs a symbolic representation of a package specification, and models different states of that package. Using deductive reasoning on the model, it answers questions about those states, and, if the specification is complete enough, simulates by symbolic execution how an implementation of the package which satisfies the specification would behave, even if no such implementation exists. In consequence, the user has greater confidence in the resulting specification; inconsistencies detected later by run-time checking tools are more likely due to errors in the implementation, rather than in the formal specification.

Descriptors :   *PROGRAMMING MANUALS, *SOFTWARE ENGINEERING, *SPECIFICATIONS, MODELS, REASONING, SYMBOLS, ANALYZERS, ADA PROGRAMMING LANGUAGE.

Subject Categories : Agricultural Economics

Distribution Statement : APPROVED FOR PUBLIC RELEASE