Research in Programming Languages and Software Engineering

Abstract

This report summarizes the activities during the period May 1, 1991 through June 30, 1992. The following three sections describe results from three major activities; a risk-based model of software decision making, construction of models for software development processes, and verification of safety properties of software requirements specifications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1992
Accession Number
ADA256341

Entities

People

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

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Classification
  • Computer Programming
  • Computer Science
  • Costs
  • Data Analysis
  • Engineering
  • Language
  • Life Cycles
  • Models
  • Organizational Structure
  • Probability
  • Probability Distributions
  • Prototypes
  • Reliability
  • Risk Analysis
  • Software Development
  • Spiral Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Business Analytics
  • Software Engineering.