Research in Programming Languages and Software Engineering.

Abstract

This paper describes work in progress in the following topics: Program Metrics; Program Testing - Experimental Investigations, Step-wise Testing, Testing of Concurrent Specifications, and Testing-theory Critique; Theoretical Issues in Software Engineering; Debugging with Slices; PLACES; Programming Environments; Concurrent, Distributed Systems; and Graphical Design and Documentation. The paper also lists other papers and articles arising from this research effort.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 07, 1983
Accession Number
ADA136037

Entities

People

  • J. D. Gannon
  • M. D. Weiser
  • N. Roussopoulos
  • R. G. Hamlet
  • V. R. Basili

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Debugging
  • Engineering
  • Environment
  • Information Science
  • Language
  • Maryland
  • Programming Languages
  • Software Development
  • Software Testing
  • Specifications
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Technical Research and Report Writing.