The Formal Design and Analysis of Distributed Data Processing Systems.

Abstract

The research proposal is to support the development of the 'science' behind software engineering in order to ensure required system properties, to compare current software engineering techniques, to develop specification for new design and analysis tools, and to demonstrate the practicality of the 'science'. A hierarchical design schema will be developed within which formal representations and analyses can be defined and the required solutions can be found. Since 'worst case' problems are generally impossible to solve, sufficient design laws or constraints will be developed to ensure solvability of the critical problems. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 30, 1976
Accession Number
ADA033888

Entities

People

  • Donald R. Fitzwater

Organizations

  • University of Wisconsin–Madison

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Application Software
  • Complex Systems
  • Computer Programming
  • Computer Science
  • Computers
  • Data Processing
  • Digital Computers
  • Distributed Data Processing
  • Engineering
  • Engineers
  • Operating Systems
  • Software Development
  • Systems Engineering
  • Tensile Strength
  • United States

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design