Research in Programming Languages and Software Engineering.

reportActive / Technical Report | Accession Number: ADA136037 | Open PDF

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.

Author(s):
Basili, V. R. ; Gannon, J. D. ; Hamlet, R. G. ; Roussopoulos, N. ; Weiser, M. D.
Author Organization(s):
MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE
Descriptive Note:
Final rept. 1 Jan-31 Dec 82,
Pagination:
0009

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
AFOSR-TR-83-1150
Contract/Grant Number(s):
F49620-80-C-0001
Task Number(s):
A2
Project Number(s):
2304
Monitor Series:
TR-83-1150
 Subject Terms
Joint Capability Areas:
JCA_1.2_Force Preparation; JCA_1_Force Support; JCA_1.2.3_Educating; JCA_4.6_Engineering; JCA_5_Command and Control; JCA_5.3_Planning; JCA_1.4.2_Health Service Delivery; JCA_1.4_Force Support
Communities of Interest:
Materials and Manufacturing Processes
Descriptor(s):
*Computer programs, *Programming languages, *Research management, *Systems engineering, Computer program reliability, Computer program verification, Computer program documentation, Debugging(Computers), Specifications, Requirements, Clustering, Regression analysis
Field(s)/Group(s):
Administration and Management, Computer Programming and Software
Keyword(s):
*Software engineering, WUAFSOR2304A2, PE61102F
Report Date:
1983 Mar 07