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