Design Specification Validation.

Abstract

This report documents research concerning the feasibility of validating formal software specification. The one year effort attempted to show that with a suitable formal software specification language, specifications could be validated in the same manner as computer designs are currently tested.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1981
Accession Number
ADA102361

Entities

People

  • Robert M. Blazer

Organizations

  • University of Southern California

Tags

Communities of Interest

  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Automated Text Summarization
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Construction
  • Databases
  • Debugging
  • Grammars
  • Information Science
  • Language
  • Law
  • Notation
  • Plastic Explosives
  • Programming Languages
  • Relational Databases
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Regression Analysis.
  • Software Engineering.