주제정보 MARC보기 LOD
검증[檢證]
KSH1998009280
용어범주주제어
관련 창작물11건
용어설명①소프트웨어 개발 주기에서 주어진 단계에서의 생산품이 이전 단계에서 수립된 요구들을 수행하는가를 결정하는 과정. ②프로그램 정확도의 형식 증명. ③항목들, 프로세스들, 서비스들, 또는 문서들이 명시된 요구들을 따르는지 재검토하고 조사하며 시험, 검사, 감사 및 문서화하는 행위. ④검증에는 주기 검증과 형식 검증의 두 가지 형태가 있다. 주기 검증은 개발 주기의 특정 단계에서 제작된 생산 제품이 그 이전 단계에서 설정한 규격들을 어느 정도 충족시키는지를 결정하는 과정이다. 형식 검증은 원시 부호가 규격에 맞게 작성되었는지를 수학적으로 엄격하게 증명하는 것이다.
용어관계※ 용어관계도는 PC화면에서 확인하시기 바랍니다. 용어 관계도
관계유형
영어(4) 독일어(5) 프랑스어(2) 일본어(1)
상위어(2) 하위어(4) 관련어(19)
관계 동의어 · 유사어 · 외국어
동의어 · 유사어 · 외국어
관계 영어(ENG)
제목 inspection
관계 영어(ENG)
관계 영어(ENG)
제목 testing
관계 영어(ENG)
제목 verification
관계 프랑스어(FRA)
제목 constatation
관계 프랑스어(FRA)
제목 verification
관계 독일어(GER)
제목 Augenschein
관계 독일어(GER)
관계 독일어(GER)
제목 Bestatigung
관계 독일어(GER)
관계 독일어(GER)
제목 Verifikation
관계 일본어(JPN)
제목 檢證
관계 관계주제어
관계 주제어
관계 상위어(BT)
관계 상위어(BT)
관계 하위어(NT)
관계 하위어(NT)
관계 하위어(NT)
관계 하위어(NT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
관계 관련어(RT)
제목 측렬
창작물
번호 제목 저자 발행년도 발행처
창작물
번호 1
저자 저자: 한국인터넷자율정책기구 검증위원회
발행년도 2015
발행처 한국인터넷자율정책기구
번호 2
저자 연구기관명: 인터페론 ;연구책임자: 오창훈 ;연구원: 이보삼,조경석
발행년도 2021
발행처 국립환경과학원
번호 3
저자 국토교통부,한국감정원 [편]
발행년도 2017
발행처 국토교통부 : 한국감정원
번호 4
저자 국토교통부,한국감정원 [편]
발행년도 2019
발행처 국토교통부 : 한국감정원
번호 5
저자 국토교통부,한국감정원 [편]
발행년도 2018
발행처 국토교통부 : 한국감정원
번호 6
저자 국토교통부,한국감정원 [편]
발행년도 2015
발행처 국토교통부 : 한국감정원
번호 7
저자 Imogen Evans,Hazel Thornton,Iain Chalmers,Paul Glasziou 원저 ;안형식,김현정,이희원 옮김
발행년도 2018
발행처 대한의학
번호 8
저자 연구기관명: 인터페론 ;연구책임자: 오창훈 ;연구원: 이보삼,조경석,이경원
발행년도 2022
발행처 국립환경과학원
번호 9
저자 [저자]: Cory Bystrom,Russell P. Grant,Lorin M. Bachmann,Mari DeMarco,Daniel T. Holmes,Andrew N. Hoofnagle,Daniel Intelmann,Doug Jeffery,Mark M. Kushnir,Paula Ladwig,Mark S. Lowenthal,Stephen R. Master,Christopher M. Shuford,Stefani Thomas,Jeffrey Whiteaker ;편저자: 임정훈,송정한
발행년도 2022
발행처 대한진단검사의학회
번호 10
저자 김훈기 지음
발행년도 2023
발행처 한국학술정보
담당부서 : 국가서지과 (02-590-6361)
위로