Accession Number:

ADA341071

Title:

Synthesis Approach to Parallel Software Engineering.

Descriptive Note:

Final technical rept. Sep 94-Apr 97,

Corporate Author:

KESTREL INST PALO ALTO CA

Report Date:

1998-02-01

Pagination or Media Count:

50.0

Abstract:

This report describes our research on a synthesis approach to parallel Software Engineering. The main goal of this project was to develop concepts and generic tools to support the synthesis of parallel algorithms from formal specifications, and to carry out a representative sample of derivations for a variety of applications. Our technical approach is based on program transformation technology which allows the systematic machine-supported development of software from requirement specifications. The development process can produce highly efficient parallel code alone with a proof of the codes correctness. We focused on three application domains to test our concepts.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE