000  $anz n  2
000  $a주제어
001  $aKSH1998009280
005  $a20000621004307
008  $a980429 n azknnaabn          |a a|a    | 
150  $a검증[檢證]
450  $wr$i독일어$aAugenschein
450  $wr$i독일어$aAugenscheinsbeweis
450  $wr$i독일어$aBestatigung
450  $wr$i독일어$aBeweis durch Augenschein
450  $wr$i독일어$aVerifikation
450  $wr$i불어$aconstatation
450  $wr$i영어$ainspection
450  $wr$i영어$ainspection of evidence
450  $wr$i영어$atesting
450  $wr$i영어$averification
450  $wr$i불어$averification
450  $wr$i일본어$a檢證
550  $wg$a증거 보전 절차[證據保全節次]
550  $wg$a증거 조사[證據調査]
550  $wh$a가설 검정[假說檢定]
550  $wh$a문서 검증[文書檢證]
550  $wh$a실지 검증[實地檢證]
550  $wh$a현장 검증[現場檢證]
550  $a가설 연역적 접근법[假說演繹的接近法]
550  $a감정(평가)[鑑定]
550  $a검정(검인)[檢定]
550  $a검증 기일[檢證期日]
550  $a검증 단계[檢證段階]
550  $a검증 대상[檢證對象]
550  $a검증 방법[檢證方法]
550  $a검증 수인 의무
550  $a검증 절차[檢證節次]
550  $a검증 제도[檢證制度]
550  $a검증물[檢證物]
550  $a계측 기기[計測機器]
550  $a명제(논리학)[命題]
550  $a모형(경제)[模型]
550  $a물증[物證]
550  $a수색(검색)[搜索]
550  $a압수[押收]
550  $a증명(논리)[證明]
550  $a측렬
680  $i①소프트웨어 개발 주기에서 주어진 단계에서의 생산품이 이전 단계에서 수립된 요구들을 수행하는가를 결정하는 과정. ②프로그램 정확도의 형식 증명. ③항목들, 프로세스들, 서비스들, 또는 문서들이 명시된 요구들을 따르는지 재검토하고 조사하며 시험, 검사, 감사 및 문서화하는 행위. ④검증에는 주기 검증과 형식 검증의 두 가지 형태가 있다. 주기 검증은 개발 주기의 특정 단계에서 제작된 생산 제품이 그 이전 단계에서 설정한 규격들을 어느 정도 충족시키는지를 결정하는 과정이다. 형식 검증은 원시 부호가 규격에 맞게 작성되었는지를 수학적으로 엄격하게 증명하는 것이다.