Research in Programming Languages and Software Engineering
Final rept. 1 Nov 1989-30 Jun 1992
MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software