Independent verification and validation of software.

Validation and verification of selected NASA FY 2000 performance data related to the Government performance and results act (GPRA).
Published: (2001)

Validation and verification of selected NASA fiscal year 2001 performance data related to the Government performance and results act.
Published: (2002)

Remote auditing fundamentals /
by: Wilson, Shauna, 1959-, et al.
Published: (2024)

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

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

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

Verification and validation of software related to nuclear power plant instrumentation and control.
Published: (1999)

L'utilisation de methodes quantitatives en verification /
by: Cormier, Denis, 1956-
Published: (1994)

L'utilisation de methodes quantitatives en verification /
by: Cormier, Denis, 1956-
Published: (1994)

Systems and software verification : model-checking techniques and tools /
Published: (2001)

Issued reports.

More stringent entrance criteria needed for project life-cycle reviews.
Published: (2008)

Independent audit of the National Aeronautics and Space Administration : joint hearing before the Subcommittee on Investigations and Oversight and the Subcommittee on Space and Aeronautics, Committee on Science and Technology, House of Representatives, One Hundred Eleventh Congress, first session, December 3, 2009.
Published: (2010)

United Space Alliance's use of professional and consultant services.
Published: (2001)

Modeling and verification of real-time systems : formalisms and software tools /
Published: (2008)

Software verification and validation : an engineering and scientific approach /
by: Fisher, Marcus S.
Published: (2007)

NASA major projects : portfolio is at risk for continued cost growth and schedule delays : testimony before the Subcommittee on Space, Committee on Science, Space, and Technology, House of Representatives /
by: Chaplain, Cristina T.
Published: (2018)

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

Thiokol's use of professional and consultant services.
Published: (2001)

System information technology security planning.
Published: (2000)

Lockheed Martin space operations use of professional and consultant services.
Published: (2002)

NASA settlement of DCAA's incurred cost audits at Goddard Space Flight Center.
Published: (2000)

The impact of audit frequency on the quality of internal control /
by: Barefield, Russell M.
Published: (1975)

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

Software testing, verification & reliability.

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Published: (2004)

Concurrency verification : introduction to compositional and noncompositional methods /
Published: (2001)

Mission impossible? : fixing NASA's financial management : hearing before the Subcommittee on Government Efficiency and Financial Management of the Committee on Government Reform, House of Representatives, One Hundred Eighth Congress, second session, May 19, 2004.
Published: (2004)

Mission impossible? : fixing NASA's financial management : hearing before the Subcommittee on Government Efficiency and Financial Management of the Committee on Government Reform, House of Representatives, One Hundred Eighth Congress, second session, May 19, 2004.
Published: (2004)

Bridging the gap : strengthening the bond between audit committee and internal audit /
by: Cicchella, Denise
Published: (2026)

Contract data reports.
Published: (2003)

Multiple-award contracts.
Published: (2001)

Audit of NASA's purchase and travel card programs.
Published: (2012)

Consolidated space operations contract : cost-benefit analysis and award fee structure.
Published: (2000)

International space station spare parts costs.
Published: (2002)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published: (2007)