QR kód

GUIDELINE FOR LIFECYCLE VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE.

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Springfield : U.S. DEP. OF COMMERLE, 1984
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Verification and validation in scientific computing /
Autor: Oberkampf, William L. 1944-, a další
Vydáno: (2010)

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
Autor: Bologna, S.
Vydáno: (1985)

Computer logic, testing and verification /
Autor: Roth, John Paul
Vydáno: (1980)

SSPTV - a software system for programs testing and verification /
Autor: Bologna, S., a další
Vydáno: (1978)

VLSI. Testing and validation techniques /
Autor: Reghbati, Hassan K.
Vydáno: (1985)

SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /
Autor: Lewis, Theodore Gyle
Vydáno: (1982)

Software testing fundamentals : introduction to software verification theory /
Autor: Samuelis, Ladislav
Vydáno: (2013)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Autor: Przigoda, Nils
Vydáno: (2018)

Introduction to the ITIL service lifecycle /
Autor: Orr, Anthony
Vydáno: (2014)

Software safety verification in critical software intensive systems /
Autor: Rodríguez Dapena, Patricia
Vydáno: (2002)

Instruments for verification analysis and testing of photovoltaic systems
Vydáno: (2012)

Instruments for verification analysis and testing of photovoltaic systems
Vydáno: (2012)

Safety of nanomaterials along their lifecycle : release, exposure, and human hazards /
Vydáno: (2015)

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
Autor: Courcoubetis, Costas
Vydáno: (1993)

Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /
Autor: Boigelot, Bernard
Vydáno: (1996)

GEOVAL '94. Validation through model testing : proceedings of an NEA/SKI symposium, 11 - 14 October 1994 /
Autor: Andersson, Johan
Vydáno: (1995)

Integrated solid waste management. A lifecycle inventory /
Autor: White, P. R.
Vydáno: (1995)

Product Lifecycle Management (Volume 3): The Executive Summary
Autor: Stark, John
Vydáno: (2018)

SOFTWARE TESTING TECHNIQUES /
Autor: Abbott, Joe
Vydáno: (1986)

The art of software testing /
Autor: Myers, Glenford J. 1946-, a další
Vydáno: (2012)

Fault tree and cause consequence analysis for control software validation /
Autor: Taylor, J. R.
Vydáno: (1982)

The art of software testing /
Autor: Myers, Glenford J.
Vydáno: (1979)

SOLAR COLLECTORS. TEST METHODS AND DESIGN GUIDELINES /
Autor: Gillet, W. B.
Vydáno: (1985)

Sixteenth addendum to the OECD guidelines for the testing of chemicals.
Vydáno: (2006)

Validating Neuro-Computational Models of Neurological and Psychiatric Disorders
Vydáno: (2015)

Layout design and verification /
Autor: Ueda, Kazuhiro
Vydáno: (1986)

Program construction and verification /
Autor: Backhouse, Roland C.
Vydáno: (1986)

Compiler Specification and Verification /
Autor: Polak, Wolfgang
Vydáno: (1981)

Effective methods for software testing /
Autor: Perry, William E. 1931-
Vydáno: (2006)

Seventeenth addendum to the OECD guidelines for the testing of chemicals 2006.
Vydáno: (2006)

Fifteenth addendum to the OECD guidelines for the testing of chemicals 2004.
Vydáno: (2004)

Protocol specification, testing, and verification. Vol. VIII : Proceedings of the IFIP WG 6.1 8th internat. symp., Atlantic City, New Jersey, USA, June 7 - 10, 1988 /
Autor: Rudin, Harry
Vydáno: (1988)

Legal Validity and Soft Law
Vydáno: (2018)

Trust in Nuclear Disarmament Verification
Autor: Bowen, Wyn Q.
Vydáno: (2018)

Software TesT pre skúšobné stroje.
Vydáno: (2004)

Twelfth addendum to the OECD guidelines for the testing of chemicals. January 2001 /
Vydáno: (2001)

Fourteenth addendum to the OECD guidelines for the testing of chemicals. May 2002 /
Vydáno: (2002)

Thirteenth addendum to the OECD guidelines for the testing of chemicals. December 2001 /
Vydáno: (2002)

Formal System Verification State-of the-Art and Future Trends /
Vydáno: (2018)

Scene verification using an imaging model in 3-D computer vision /
Autor: Hanajík, Milan
Vydáno: (1995)