Synthesis Approach to Parallel Software Engineering.

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 code's correctness. We focused on three application domains to test our concepts.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1998
Accession Number
ADA341071

Entities

People

  • Douglas R. Smith
  • Limei Gilham
  • Stephen J. Westfold
  • Thomas Emerson

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Application Software
  • Computer Programming
  • Computers
  • Construction
  • Engineering
  • Language
  • Law
  • Military Research
  • Operating Systems
  • Search Theory
  • Software Design
  • Software Development
  • Specifications
  • Trees (Data Structures)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.