「"Computer programs -- Testing"」の検索結果 | NDLサーチ

検索結果 54 件

タイトルでまとめる

LCTES'13 : proceedings of the 2013 ACM SIGPLAN/SIGBED conference on languages, compilers and tools for embedded systems : June 20-21, 2013 : Seattle, Washington, USA.

紙図書

Association for Computing Machineryc2013.<M17-14-2166>

国立国会図書館全国の図書館

2009 first international conference on advances in system testing and validation lifecycle : (VALID 2009) : Porto, Portugal : 20-25 September 2009.

紙図書

IEEEc2009.<M17-10-2060>

国立国会図書館

件名Computer programs -- Validation -- Congresses. Computer programs -- Testing -- Congresses.

RELAP5 assessment against PACTEL experimental data (revision 1) [microform] / prepared by I. Parzer, B. Mavko, S. Petelin (International agreement report ; NUREG/IA-0145)

マイクロ図書

1998<YCA-Y 3.N 88:53/0145>

国立国会図書館

件名... of coolant -- Computer programs -- Testing Nuclear reactor accidents -- Computer programs -- Testing

RELAP5/MOD3.2 validation using BETHSY test 6.9a [microform] / prepared by S. Bouabdallah (International agreement report ; NUREG/IA-0188)

マイクロ図書

2000<YCA-Y 3.N 88:53/0188>

国立国会図書館

件名Pressurized water reactors -- Loss of coolant -- Computer programs -- Testing

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-03 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0154)

マイクロ図書

1999<YCA-Y 3.N 88:53/0154>

国立国会図書館

件名Pressurized water reactors -- Loss of coolant -- Computer programs -- Testing

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-04 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0155)

マイクロ図書

1999<YCA-Y 3.N 88:53/0155>

国立国会図書館

件名Pressurized water reactors -- Loss of coolant -- Computer programs -- Testing

RELAP5/MOD3.2 post test analysis and accuracy quantification of Lobi test BL-44 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0153)

マイクロ図書

1999<YCA-Y 3.N 88:53/0153>

国立国会図書館

件名Pressurized water reactors -- Loss of coolant -- Computer programs -- Testing

RELAP5/MOD.2 post test analysis and accuracy quantification of Lobi test BL-34 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0152)

マイクロ図書

1999<YCA-Y 3.N 88:53/0152>

国立国会図書館

件名Pressurized water reactors -- Loss of coolant -- Computer programs -- Testing

Program proofs

紙図書

K. Rustan M. Leino ; illustrated by Kaleb LeinoThe MIT Press2023

全国の図書館

件名Computer programs -- Verification Computer programs -- Testing

Notes on numerical reliability of several statistical analysis programs [microform] / by J.M. Landwehr and G.D. Tasker (U.S. Geological Survey open-file report ; 99-95)

マイクロ図書

1999<YCA-I 19.76:99-95>

国立国会図書館

件名Statistics -- Computer programs Computer programs -- Testing Computer software -- Quality ...

Assessment of RELAP5/MOD3.1 using LSTF ten-percent main steam-line-break test run SB-SL-01 [microform] / prepared by J.G. Oh ... [et al.] (International agreement report ; NUREG/IA-0148)

マイクロ図書

1998<YCA-Y 3.N 88:53/0148>

国立国会図書館

件名Pressurized water reactors -- Loss of coolant -- Computer programs -- Testing

Debugging techniques used by experienced programmers to debug their own code microform / Pamela M. Merrick (AFHRL-TR ; 90-45)

マイクロ図書

1990<YCA-D 301.45/27:90-45>

国立国会図書館

件名Debugging in computer science -- Computer programs Computer programs -- Testing

Software formal inspection standard [microform] (NASA-STD ; 2202-93)

マイクロ図書

1993<YCA-NAS 1.82:2202-93>

国立国会図書館

件名...Administration Computer programs -- Testing -- Standards -- United States...

A FORTRAN program for analysis of data from microelectronic test structures / Richard L. Mattis (NBS special publication ; 400-75) (Semiconductor measurement technology)

マイクロ図書

1983<YCA-C 13.10:400-75>

国立国会図書館

件名Computer programs -- Testing

Test and evaluation [microform] : DOD has been slow in improving testing of software-intensive systems : report to the Secretary of Defense / United States General Accounting Office

マイクロ図書

1993<YCA-GA 1.13:NSIAD-93-198>

国立国会図書館

件名...ited States -- Computer programs -- Testing

Test examples for nonlinear programming codes / Willi Hock, Klaus Schittkowski. (Lecture notes in economics and mathematical systems ; 187)

紙図書

Springer-Verlagc1981.<M159-154>

国立国会図書館

件名Nonlinear programming. Computer programs -- Testing.

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 / edited by B. Chandrasekaran, S. Radicchi.

紙図書

North-Holland Pub. Co.c1981.<M15-A4892>

国立国会図書館

件名Computer programs -- Testing -- Congresses.

Guideline for lifecycle validation, verification, and testing of computer software (FIPS PUB ; 101)

マイクロ図書

1984<YCA-C 13.52:101>

国立国会図書館

件名Computer programs -- Testing Computer programs -- Verifica...

Continuous testing with Ruby, Rails, and JavaScript

紙図書

Ben Rady, Rod Coffin ; [edited by Jacquelyn Carter]Pragmatic Bookshelfc2011

全国の図書館

件名...gram language) Computer programs -- Testing

More test examples for nonlinear programming codes / Klaus Schittkowski. (Lecture notes in economics and mathematical systems)

紙図書

Springer-Verlagc1987.<MA216-A12>

国立国会図書館

件名非線型 (数学) 数理計画法. プログラミング (電子計算機) Nonlinear programming. Computer programs -- Testing.

RSS