Načítá se…
GUIDELINE FOR LIFECYCLE VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE.
Uloženo v:
| 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
Načítá se…
Verification and validation in scientific computing /
Autor: Oberkampf, William L. 1944-, a další
Vydáno: (2010)
Autor: Oberkampf, William L. 1944-, a další
Vydáno: (2010)
Načítá se…
VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
Autor: Bologna, S.
Vydáno: (1985)
Autor: Bologna, S.
Vydáno: (1985)
Načítá se…
Computer logic, testing and verification /
Autor: Roth, John Paul
Vydáno: (1980)
Autor: Roth, John Paul
Vydáno: (1980)
Načítá se…
SSPTV - a software system for programs testing and verification /
Autor: Bologna, S., a další
Vydáno: (1978)
Autor: Bologna, S., a další
Vydáno: (1978)
Načítá se…
VLSI. Testing and validation techniques /
Autor: Reghbati, Hassan K.
Vydáno: (1985)
Autor: Reghbati, Hassan K.
Vydáno: (1985)
Načítá se…
SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /
Autor: Lewis, Theodore Gyle
Vydáno: (1982)
Autor: Lewis, Theodore Gyle
Vydáno: (1982)
Načítá se…
Software testing fundamentals : introduction to software verification theory /
Autor: Samuelis, Ladislav
Vydáno: (2013)
Autor: Samuelis, Ladislav
Vydáno: (2013)
Načítá se…
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Autor: Przigoda, Nils
Vydáno: (2018)
Autor: Przigoda, Nils
Vydáno: (2018)
Načítá se…
Introduction to the ITIL service lifecycle /
Autor: Orr, Anthony
Vydáno: (2014)
Autor: Orr, Anthony
Vydáno: (2014)
Načítá se…
Software safety verification in critical software intensive systems /
Autor: Rodríguez Dapena, Patricia
Vydáno: (2002)
Autor: Rodríguez Dapena, Patricia
Vydáno: (2002)
Načítá se…
Instruments for verification analysis and testing of photovoltaic systems
Vydáno: (2012)
Vydáno: (2012)
Načítá se…
Instruments for verification analysis and testing of photovoltaic systems
Vydáno: (2012)
Vydáno: (2012)
Načítá se…
Safety of nanomaterials along their lifecycle : release, exposure, and human hazards /
Vydáno: (2015)
Vydáno: (2015)
Načítá se…
Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
Autor: Courcoubetis, Costas
Vydáno: (1993)
Autor: Courcoubetis, Costas
Vydáno: (1993)
Načítá se…
Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /
Autor: Boigelot, Bernard
Vydáno: (1996)
Autor: Boigelot, Bernard
Vydáno: (1996)
Načítá se…
GEOVAL '94. Validation through model testing : proceedings of an NEA/SKI symposium, 11 - 14 October 1994 /
Autor: Andersson, Johan
Vydáno: (1995)
Autor: Andersson, Johan
Vydáno: (1995)
Načítá se…
Integrated solid waste management. A lifecycle inventory /
Autor: White, P. R.
Vydáno: (1995)
Autor: White, P. R.
Vydáno: (1995)
Načítá se…
Product Lifecycle Management (Volume 3): The Executive Summary
Autor: Stark, John
Vydáno: (2018)
Autor: Stark, John
Vydáno: (2018)
Načítá se…
SOFTWARE TESTING TECHNIQUES /
Autor: Abbott, Joe
Vydáno: (1986)
Autor: Abbott, Joe
Vydáno: (1986)
Načítá se…
The art of software testing /
Autor: Myers, Glenford J. 1946-, a další
Vydáno: (2012)
Autor: Myers, Glenford J. 1946-, a další
Vydáno: (2012)
Načítá se…
Fault tree and cause consequence analysis for control software validation /
Autor: Taylor, J. R.
Vydáno: (1982)
Autor: Taylor, J. R.
Vydáno: (1982)
Načítá se…
The art of software testing /
Autor: Myers, Glenford J.
Vydáno: (1979)
Autor: Myers, Glenford J.
Vydáno: (1979)
Načítá se…
SOLAR COLLECTORS. TEST METHODS AND DESIGN GUIDELINES /
Autor: Gillet, W. B.
Vydáno: (1985)
Autor: Gillet, W. B.
Vydáno: (1985)
Načítá se…
Sixteenth addendum to the OECD guidelines for the testing of chemicals.
Vydáno: (2006)
Vydáno: (2006)
Načítá se…
Validating Neuro-Computational Models of Neurological and Psychiatric Disorders
Vydáno: (2015)
Vydáno: (2015)
Načítá se…
Layout design and verification /
Autor: Ueda, Kazuhiro
Vydáno: (1986)
Autor: Ueda, Kazuhiro
Vydáno: (1986)
Načítá se…
Program construction and verification /
Autor: Backhouse, Roland C.
Vydáno: (1986)
Autor: Backhouse, Roland C.
Vydáno: (1986)
Načítá se…
Compiler Specification and Verification /
Autor: Polak, Wolfgang
Vydáno: (1981)
Autor: Polak, Wolfgang
Vydáno: (1981)
Načítá se…
Effective methods for software testing /
Autor: Perry, William E. 1931-
Vydáno: (2006)
Autor: Perry, William E. 1931-
Vydáno: (2006)
Načítá se…
Seventeenth addendum to the OECD guidelines for the testing of chemicals 2006.
Vydáno: (2006)
Vydáno: (2006)
Načítá se…
Fifteenth addendum to the OECD guidelines for the testing of chemicals 2004.
Vydáno: (2004)
Vydáno: (2004)
Načítá se…
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)
Autor: Rudin, Harry
Vydáno: (1988)
Načítá se…
Legal Validity and Soft Law
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Trust in Nuclear Disarmament Verification
Autor: Bowen, Wyn Q.
Vydáno: (2018)
Autor: Bowen, Wyn Q.
Vydáno: (2018)
Načítá se…
Software TesT pre skúšobné stroje.
Vydáno: (2004)
Vydáno: (2004)
Načítá se…
Twelfth addendum to the OECD guidelines for the testing of chemicals. January 2001 /
Vydáno: (2001)
Vydáno: (2001)
Načítá se…
Fourteenth addendum to the OECD guidelines for the testing of chemicals. May 2002 /
Vydáno: (2002)
Vydáno: (2002)
Načítá se…
Thirteenth addendum to the OECD guidelines for the testing of chemicals. December 2001 /
Vydáno: (2002)
Vydáno: (2002)
Načítá se…
Formal System Verification State-of the-Art and Future Trends /
Vydáno: (2018)
Vydáno: (2018)
Načítá se…
Scene verification using an imaging model in 3-D computer vision /
Autor: Hanajík, Milan
Vydáno: (1995)
Autor: Hanajík, Milan
Vydáno: (1995)
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)