Accession Number:

ADA256341

Title:

Research in Programming Languages and Software Engineering

Descriptive Note:

Final rept. 1 Nov 1989-30 Jun 1992

Corporate Author:

MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE

Report Date:

1992-09-01

Pagination or Media Count:

13.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE