Accession Number : ADA136037
Title : Research in Programming Languages and Software Engineering.
Descriptive Note : Final rept. 1 Jan-31 Dec 82,
Corporate Author : MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE
Personal Author(s) : Basili,V R ; Gannon,J D ; Hamlet,R G ; Roussopoulos,N ; Weiser,M D
PDF Url : ADA136037
Report Date : 07 Mar 1983
Pagination or Media Count : 9
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.
Descriptors : *Computer programs, *Programming languages, *Research management, *Systems engineering, Computer program reliability, Computer program verification, Computer program documentation, Debugging(Computers), Specifications, Requirements, Clustering, Regression analysis
Subject Categories : Administration and Management
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE