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


Personal Author(s) : Basili, Victor R ; Gannon, John D ; Zelkowitz, Marvin V


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a256341.pdf


Report Date : Sep 1992


Pagination or Media Count : 13


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.


Descriptors :   *SOFTWARE ENGINEERING , *PROGRAMMING LANGUAGES , MODELS , RESEARCH MANAGEMENT , COMPUTER PROGRAM VERIFICATION


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE