Accession Number:

ADA277929

Title:

Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration

Descriptive Note:

Corporate Author:

NAVAL PERSONNEL RESEARCH ACTIVITY SAN DIEGO CA

Personal Author(s):

Report Date:

1993-10-15

Pagination or Media Count:

79.0

Abstract:

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE