Research in Programming Languages and Software Engineering

Abstract

The projects presented in this report encompass developing and integrating the concepts and models used in the TAME measurement environment, using syntax-editing technology to develop formal specifications, investigating the impact of functional specification and development on software construction, designing and evaluating a new exception handling mechanism, and transforming computations for single processors to execute efficiently on non-shared memory multiprocessors. (emk)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 15, 1990
Accession Number
ADA217765

Entities

People

  • John D. Gannon
  • Marvin V. Zelkowitz
  • Victor Basili

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computations
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Databases
  • Debugging
  • Engineering
  • Language
  • Parallel Computing
  • Programming Languages
  • Prototypes
  • Software Development
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Joint Military Operations and Doctrine.
  • Parallel and Distributed Computing.
  • Systems Analysis and Design