Reports and Testimonies - Browse by topic

Browse By:
 
All Topics » Information Technology » Information resources management » Software verification and validation
Sort by Results per page Search within "Software verification and validation"

Software verification and validation (11 - 20 of 98 items)

Year 2000 Computing Crisis:

Status of Medicare Providers Unknown
AIMD-99-243:
Published: Jul 28, 1999. Publicly Released: Aug 6, 1999.

Social Security Administration:

Update on Year 2000 and Other Key Information Technology Initiatives
T-AIMD-99-259:
Published: Jul 29, 1999. Publicly Released: Jul 29, 1999.

Year 2000 Computing Challenge:

Federal Efforts to Ensure Continued Delivery of Key State-Administered Benefits
T-AIMD-99-241:
Published: Jul 15, 1999. Publicly Released: Jul 15, 1999.

Year 2000 Computing Challenge:

Important Progress Made, Yet Much Work Remains to Avoid Disruption of Critical Services
T-AIMD-99-234:
Published: Jul 9, 1999. Publicly Released: Jul 9, 1999.

Year 2000 Computing Challenge:

Readiness Improving Yet Avoiding Disruption of Critical Services Will Require Additional Work
T-AIMD-99-233:
Published: Jul 8, 1999. Publicly Released: Jul 8, 1999.

Year 2000 Computing Challenge:

Readiness Improving But Much Work Remains to Avoid Disruption of Critical Services
T-AIMD-99-232:
Published: Jul 7, 1999. Publicly Released: Jul 7, 1999.

Year 2000 Computing Crisis:

Customs Is Making Good Progress
T-AIMD-99-225:
Published: Jun 29, 1999. Publicly Released: Jun 29, 1999.

Year 2000 Computing Challenge:

Delivery of Key Benefits Hinges on States' Achieving Compliance
T-AIMD/GGD-99-221:
Published: Jun 23, 1999. Publicly Released: Jun 23, 1999.

Year 2000 Computing Challenge:

Estimated Costs, Planned Uses of Emergency Funding, and Future Implications
T-AIMD-99-214:
Published: Jun 22, 1999. Publicly Released: Jun 22, 1999.

Year 2000 Computing Challenge:

OPM Has Made Progress on Business Continuity Planning
GGD-99-66:
Published: May 24, 1999. Publicly Released: May 24, 1999.