Accession Number : ADA183060

Title :   Programming Languages and Software Engineering.

Descriptive Note : Final rept. 1 Jan 85-28 Feb 87,

Corporate Author : MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE

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

PDF Url : ADA183060

Report Date : 30 Apr 1987

Pagination or Media Count : 14

Abstract : This effort dealt with several issues critical to the improvement of software engineering techniques. A notion of abstraction for use in formal program specification was developed. A systematic was of building large programs by integrating reusable components was studied. An empirical study comparing the effects of three code reading techniques of three PASCAL programs seeded with different sets of faults was executed. Finally, in the area of advanced programming environments, improvements were made in the effectiveness of language-based environments, in the efficiency of language-based editors through the use on nonlocal productions, and in automatic inference of user data types. More than thirty published references and papers resulted from this effort.

Descriptors :   *COMPUTER PROGRAMMING, PROGRAMMING LANGUAGES, COMPUTER PROGRAMS, SYSTEMS ENGINEERING, CODING, READING, SPECIFICATIONS, FAULTS, USER NEEDS, EDITING

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE