Search results for "Computer programs -- Testing" | NDL Search

Search results 54

Group by title

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.

Paper図書

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

National Diet LibraryOther Libraries in Japan

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

Paper図書

IEEEc2009.<M17-10-2060>

National Diet Library

Subject HeadingComputer 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)

Microform図書

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

National Diet Library

Subject Heading... 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)

Microform図書

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

National Diet Library

Subject HeadingPressurized 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)

Microform図書

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

National Diet Library

Subject HeadingPressurized 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)

Microform図書

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

National Diet Library

Subject HeadingPressurized 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)

Microform図書

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

National Diet Library

Subject HeadingPressurized 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)

Microform図書

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

National Diet Library

Subject HeadingPressurized water reactors -- Loss of coolant -- Computer programs -- Testing

Program proofs

Paper図書

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

Other Libraries in Japan

Subject HeadingComputer 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)

Microform図書

1999<YCA-I 19.76:99-95>

National Diet Library

Subject HeadingStatistics -- 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)

Microform図書

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

National Diet Library

Subject HeadingPressurized 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)

Microform図書

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

National Diet Library

Subject HeadingDebugging in computer science -- Computer programs Computer programs -- Testing

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

Microform図書

1993<YCA-NAS 1.82:2202-93>

National Diet Library

Subject Heading...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)

Microform図書

1983<YCA-C 13.10:400-75>

National Diet Library

Subject HeadingComputer 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

Microform図書

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

National Diet Library

Subject Heading...ited States -- Computer programs -- Testing

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

Paper図書

Springer-Verlagc1981.<M159-154>

National Diet Library

Subject HeadingNonlinear 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.

Paper図書

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

National Diet Library

Subject HeadingComputer programs -- Testing -- Congresses.

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

Microform図書

1984<YCA-C 13.52:101>

National Diet Library

Subject HeadingComputer programs -- Testing Computer programs -- Verifica...

Continuous testing with Ruby, Rails, and JavaScript

Paper図書

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

Other Libraries in Japan

Subject Heading...gram language) Computer programs -- Testing

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

Paper図書

Springer-Verlagc1987.<MA216-A12>

National Diet Library

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

RSS