Computer Software Validation

133 books
Verification, validation and testing in software engineeringAristides Dasso
⏱ 7h 8m

Verification, validation and testing in software engineering

Aristides Dasso

2006428 pp.
Formal methods for trustworthy computer systems (FM89)Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)
⏱ 4h 8m

Formal methods for trustworthy computer systems (FM89)

Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)

1990248 pp.
Software MetricsC. Ravindranath Pandian
⏱ 4h 59m

Software Metrics

C. Ravindranath Pandian

2003299 pp.
Software Without FrontiersPatrick A. V. Hall
⏱ 5h 50m

Software Without Frontiers

Patrick A. V. Hall

1997350 pp.
Practical Computer Validation HandbookR.D. McDowall

Practical Computer Validation Handbook

R.D. McDowall

2015No page data
Validation Compliance BiannualInternational Validation Forum
⏱ 14h 16m

Validation Compliance Biannual

International Validation Forum

1996856 pp.
Testing Dirty SystemsRandall Rice
⏱ 9h 0m

Testing Dirty Systems

Randall Rice

2011540 pp.
Apache JMeterEmily H. Halili
⏱ 2h 9m

Apache JMeter

Emily H. Halili

2008129 pp.
Developing and Testing Safety-Related SoftwareGardiner

Developing and Testing Safety-Related Software

Gardiner

1996No page data
Leveraging Applications of Formal Methods, Verification and Validation. VerificationTiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria

2018No page data
Software Verification and Validation: An Engineering and Scientific ApproachMarcus S. Fisher
⏱ 2h 52m

Software Verification and Validation: An Engineering and Scientific Approach

Marcus S. Fisher

2007172 pp.
Software Verification and ValidationMarcus S. S. Fisher
⏱ 3h 2m

Software Verification and Validation

Marcus S. S. Fisher

2010182 pp.
Effective software test automationKanglin Li
⏱ 6h 48m

Effective software test automation

Kanglin Li

2004408 pp.
Verification, Validation and Testing in Software EngineeringAristides Dasso
⏱ 7h 8m

Verification, Validation and Testing in Software Engineering

Aristides Dasso

2007428 pp.
Tutorial, software testing & validation techniquesUnknown Author
⏱ 8h 19m

Tutorial, software testing & validation techniques

Unknown Author

1981499 pp.
Independent verification and validation for space shuttle flight softwareUnknown Author

Independent verification and validation for space shuttle flight software

Unknown Author

1992No page data
TestingUnknown Author
⏱ 55m

Testing

Unknown Author

199155 pp.
Trustworthy global computingRocco De Nicola
⏱ 6h 11m

Trustworthy global computing

Rocco De Nicola

2005371 pp.
Trustworthy Global ComputingPierre Ganty
⏱ 2h 48m

Trustworthy Global Computing

Pierre Ganty

2016168 pp.
Trust and Trustworthy ComputingMauro Conti
⏱ 5h 34m

Trust and Trustworthy Computing

Mauro Conti

2015334 pp.
← PreviousPage 3 of 7Next →