Mapping our progress.

Software reviews and audits handbook /
by: Hollocker, Charles P.
Published: (1990)

Independent verification and validation : a life cycle engineering process for quality software /
by: Lewis, Robert O., 1938-
Published: (1992)

The software audit guide /
by: Helgeson, John W., 1945-
Published: (2010)

Verification and validation of modern software-intensive systems /
by: Schulmeyer, G. Gordon
Published: (2000)

Software verification and validation : a practitioner's guide /
by: Rakitin, Steven R.
Published: (1997)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten /
Published: (2008)

Gradle : Ein kompakter Einstieg in modernes Build-Management /
by: Baumann, Joachim
Published: (2013)

Verification, validation and testing in software engineering /
Published: (2007)

Verification, validation and testing in software engineering /
Published: (2007)

Technical update.

Verification and validation of rule-based expert systems /
by: Smith, Suzanne, 1953-
Published: (1993)

Medical hardware for the space environment : an engineering experience at the National Aeronautics and Space Administration /
by: Reyna, Baraquiel
Published: (2011)

Status of services transferred from NASA centers and headquarters to the NASA Shared Services Center.
Published: (2011)

Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada /
Published: (1990)

Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken /
by: Hendrickson, Elisabeth
Published: (2014)

Guidance for the verification and validation of neural networks /
by: Pullum, Laura L., et al.
Published: (2007)

Independent verification and validation of software.
Published: (2003)

Software validation, verification, testing, and documentation /
Published: (1986)

Methods and procedures for the verification and validation of artificial neural networks /
Published: (2006)

An index to NASA tech briefs : (briefs 63-10003 through 64-10211) a keyword-in-context index (KWIC) /
Published: (1965)

Software verification and validation : realistic project approaches /
by: Deutsch, Michael S.
Published: (1982)

Legislative origins of the National Aeronautics and Space Act of 1958 : proceedings of an oral history workshop : conducted April 3, 1992 : moderated by John M. Logsdon.
Published: (1998)

The Best we can be.
Published: (1989)

Verification and Validation Study of CFD Simulations of Semi-Submersible Platform for Floating Offshore Wind Turbine /
by: Wang, Yu
Published: (2023)

Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers /
Published: (2005)

Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada /
Published: (1990)

NASA : the complete illustrated history /
by: Gorn, Michael H.
Published: (2005)

Accountability report /
Published: (1998)

From Rockwell to Rauschenberg : the NASA Art Program.
Published: (1997)

Agency financial report.
Published: (2012)

Software testing, verification & reliability.

Verifying and validating personal computer-based expert systems /
by: Bahill, Terry
Published: (1991)

NASA activities /

1980 NASA authorization : index for hearings before the Committee on Science and Technology, U.S. House of Representatives, Ninety-sixth Congress, first session, on H.R. 1786, for vol. I, parts 1, 2, 3, 4, vol. II, parts 1, 2.
Published: (1979)

Annual report.