Central flow control software design document.

Final report, January 1979.

Standardization, certification, maintenance, and dissemination of large scale engineering software systems : a panel discussion held as a part of the Second National Symposium on Computerized Structural Analysis and Design /

Includes bibliographical references

Design of array processor software for nonlinear structural analysis /

"Dec. 1983."

Modeling and measurement techniques for evaluation of design alternatives in the implementation of database management software /

Thesis--University of Maryland.

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Bibliography: p. 48.