年 〜
年

検索結果 9 件

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

2009 first international conference on advances in system testing and validation lifecycle : (VALID 2009) : Porto, Portugal : 20-25 September 2009. : Sep 2009, Porto, Portugal.
紙図書
IEEEc2009.<M17-10-2060>
国立国会図書館
  • 件名Computer programs -- Validation -- Congresses. Computer progr...

Modes of operation validation system (MOVS) [microform] : requirements and procedures / Sharon Keller and Miles Smid (NIST special publication ; 800-17. Computer security)

Modes of operation validation system (MOVS) [microform] : requirements and procedures / Sharon Keller and Miles Smid (NIST special publication ; 800-17. Computer security)
マイクロ図書
1998<YCA-C 13.10:800-17>
国立国会図書館
  • 件名Computer programs -- Validation -- United States Data encrypt...

The formal verification of generic interpreters microform / P. Windley and K. Levitt (NASA contractor report ; 4403)

The formal verification of generic interpreters microform / P. Windley and K. Levitt (NASA contractor report ; 4403)
マイクロ図書
1991<YCA-NAS 1.26:4403>
国立国会図書館
  • 件名Computer programs -- Validation Flight control

Validation environment for AIPS/ALS microform : implementation and results / Zary Segall ... [et al.] (NASA contractor report ; 4340)

Validation environment for AIPS/ALS microform : implementation and results / Zary Segall ... [et al.] (NASA contractor report ; 4340)
マイクロ図書
1990<YCA-NAS 1.26:4340>
国立国会図書館
  • 件名Computer programs -- Validation Fault-tolerant computing

LOFT input dataset reference document for RELAP5 validation studies [microform] / prepared by J.C. Birchley (International agreement report ; NUREG/IA-0072)

LOFT input dataset reference document for RELAP5 validation studies [microform] / prepared by J.C. Birchley (International agreement report ; NUREG/IA-0072)
マイクロ図書
1992<YCA-Y 3.N 88:53/0072>
国立国会図書館
  • 件名Pressurized water reactors -- Accidents -- Computer programs Computer programs -- Validation

Verification and validation in systems engineering : assessing UML/SysML design models

Verification and validation in systems engineering : assessing UML/SysML design models
紙図書
Mourad Debbabi ... [et al.]Springerc2010
全国の図書館
  • 件名...- Verification Computer programs -- Validation Computer software -- Validati...
  • 件名（識別子）...- Verification Computer programs -- Validation Computer software -- Validati...

Verification and validation in scientific computing : hbk

Verification and validation in scientific computing : hbk
紙図書
William L. Oberkampf, Christopher J. RoyCambridge University Press2010
全国の図書館
  • 件名...- Verification Computer programs -- Validation Decision making -- Mathematic...
  • 件名（識別子）...- Verification Computer programs -- Validation Decision making -- Mathematic...

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

Guideline for lifecycle validation, verification, and testing of computer software (FIPS PUB ; 101)
マイクロ図書
1984<YCA-C 13.52:101>
国立国会図書館
  • 件名Computer programs -- Testing Computer programs -- Verification Computer programs -- Validation

Pascal compiler validation

Pascal compiler validation
紙図書
edited by Brian A. Wichmann and Z.J. CiechanowiczWileyc1983
全国の図書館
  • 件名Pascal (Computer program language) Compilers (Computer programs) Computer programs -- Validation
  • 件名（識別子）Pascal (Computer program language) Compilers (Computer programs) Computer programs -- Validation

検索結果は以上です。