Research Report for Air Force Office of Scientific Research Contract F49620-80-C-0001.

Abstract

Contents: Data Abstraction, Specification and Testing -- PLACES Project, DAISTS, Algebraic Specification, Testing Theory; Program Correctness; Complexity Metrics; Requirements and Specification -- Conceptual Modeling, Operation Requirements Specification, Specification of the Concurrent Processes and Communication Protocols; Programming Environments.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 31, 1980
Accession Number
ADA097239

Entities

People

  • John D. Gannon
  • Marvin V. Zelkowitz
  • Raymond T. Yeh
  • Richard G. Hamlet
  • Victor Basili

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Energy and Power Technologies
  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Classification
  • Computer Programming
  • Computer Science
  • Computers
  • Embedded Systems
  • Language
  • Numbers
  • Reliability
  • Scientific Research
  • Security
  • Software Development
  • Software Development Tools
  • Specifications
  • Systems Science
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Technical Research and Report Writing.