Accession Number : ADA118843

Title :   A Formal Foundation for the Trace Method of Software Specification.

Descriptive Note : Interim rept.,

Corporate Author : NAVAL RESEARCH LAB WASHINGTON DC

Personal Author(s) : McLean,J

PDF Url : ADA118843

Report Date : 01 Sep 1982

Pagination or Media Count : 63

Abstract : An overview of the trace method for the abstract specification of software is followed by a syntax, semantics, and derivation system for the method. This foundation supports a comparison of the trace method with the algebraic approaches to abstract specification, while completeness and soundness theorems suggest methods for proving specifications consistent and sufficiently-complete. Areas for future research are discussed. (Author)

Descriptors :   *Computer programs, *Specifications, Auditing, Methodology, Syntax, Semantics, Comparison, Algebra

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE