Programming Languages and Software Engineering.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 30, 1987
- Accession Number
- ADA183060
Entities
People
- John D. Gannon
- Marvin V. Zelkowitz
- Victor Basili
Organizations
- University of Maryland