A Formal Foundation for the Trace Method of Software Specification.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1982
Accession Number
ADA118843

Entities

People

  • J. Mclean

Organizations

  • United States Naval Research Laboratory

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Boolean Algebra
  • Computer Programming
  • Computer Programs
  • Consistency
  • Construction
  • Language
  • Logic
  • Military Research
  • Number Theory
  • Programming Languages
  • Semantics
  • Set Theory
  • Specifications
  • Standards
  • Theorems
  • Vocabulary

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.