Reports and Testimonies - Browse by topic

Browse By:
 
All Topics » Information Technology » Strategic information systems planning » Software verification and validation
Sort by Results per page Search within "Software verification and validation"

Software verification and validation (41 - 50 of 108 items)

Year 2000 Computing Crisis:

Additional Work Remains to Ensure Delivery of Critical Services
T-AIMD-99-143:
Published: Apr 13, 1999. Publicly Released: Apr 13, 1999.

Customs Service Modernization:

Actions Needed to Correct Serious ACE Management and Technical Weaknesses
T-AIMD-99-141:
Published: Apr 13, 1999. Publicly Released: Apr 13, 1999.

Year 2000 Computing Crisis:

Federal Reserve Has Established Effective Year 2000 Management Controls for Internal Systems Conversion
AIMD-99-78:
Published: Apr 9, 1999. Publicly Released: Apr 9, 1999.

Year 2000 Computing Crisis:

Customs Has Established Effective Year 2000 Program Controls
AIMD-99-37:
Published: Mar 29, 1999. Publicly Released: Mar 29, 1999.

Year 2000 Computing Crisis:

FAA Is Making Progress But Important Challenges Remain
T-AIMD/RCED-99-118:
Published: Mar 15, 1999. Publicly Released: Mar 15, 1999.

Land Management Systems:

Major Software Development Does Not Meet BLM's Business Needs
T-AIMD-99-102:
Published: Mar 4, 1999. Publicly Released: Mar 4, 1999.

Year 2000 Computing Crisis:

Defense Has Made Progress, But Additional Management Controls Are Needed
T-AIMD-99-101:
Published: Mar 2, 1999. Publicly Released: Mar 2, 1999.

Customs Service Modernization:

Serious Management and Technical Weaknesses Must Be Corrected
AIMD-99-41:
Published: Feb 26, 1999. Publicly Released: Feb 26, 1999.

Year 2000 Computing Crisis:

Readiness Status of the Department of Health and Human Services
T-AIMD-99-92:
Published: Feb 26, 1999. Publicly Released: Feb 26, 1999.

Year 2000 Computing Crisis:

Readiness of State Automated Systems That Support Federal Human Services Programs
T-AIMD-99-91:
Published: Feb 24, 1999. Publicly Released: Feb 24, 1999.