The Formal Specification of an Adaptive, Parallel Finite Element System.

Abstract

The FEARS system is an experimental finite element system which uses adaptivity and parallelism to alleviate computational problems of the method. This report contains a formal specification of the system which is complete down to, but not including, the numerical processing. It functions as a realistically complex example of the specification technique used. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1978
Accession Number
ADA078525

Entities

People

  • Pamela Zave

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Accuracy
  • Computations
  • Contracts
  • Directional
  • Errors
  • Indicators
  • Language
  • Linear Systems
  • Maryland
  • Mathematics
  • Refining
  • Sequences
  • Specifications
  • Three Dimensional

Readers

  • Computational Modeling and Simulation
  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.