Explore Books on
program verification (computers)

Land surface temperature measurements from EOS MODIS data

By Zhengming Wan

Parallel ALLSPD-3D

By David M. Fricker

Measurement-based reliability/performability models

By Mei-Chen Hsueh

Follow-on low noise fan aerodynamic study

By Nathan J. Heidegger

Formal methods for verification and validation of partial specifications

By Steve Easterbrook

Expert system verification and validation study

By Scott W. French

The specification-based validation of Reliable Multicast Protocol

By Yunqing Wu

Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits

By David M. Russinoff

Performance validation of the ANSER control laws for the F-18 HARV

By Michael D. Messina

UNIX-based operating systems robustness evaluation

By Youming Zhang

An approach to verification and validation of a reliable multicasting protocol

By John R. Callahan

Validation of the NPARC code for nozzle afterbody flows at transonic speeds

By James R. DeBonis

UNIX-based operating systems robustness evaluation

By Yu-Ming Chang

Quantitative measures for software independent verification and validation

By Alice Lee

The validation by measurement theory of proposed object-oriented software metrics

By Ralph D. Neal

An introduction to requirements capture using PVS

By Ricky W. Butler

Experience report

By Edward A. Addy

The applicability of proposed object-oriented metrics to developer feedback in time to impact development

By Ralph D. Neal

Formal design and verification of a reliable computing platform for real-time control

By Ricky W. Butler

Development of a software safety process and a case study of its use

By John C. Knight

Software design improvements

By Vincent R. Lalli

NASA software engineering benchmarking study

By Heather L. Rarick

Assessing the impact of modeling limits on intelligent systems

By William B. Rouse

Fracture mechanics life analytical methods verification testing

By