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