자료유형  

 기사

ISSN  

12297712

저자명  

김태호

서명/저자  

PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증 / 김태호 , 차성덕 공저

발행사항  

서울 : 한국정보과학회, 2002.

형태사항  

pp. 46-61

주기사항  

권말 참고문헌 있음.

기타저자  

차성덕

기본자료저록  

정보과학회논문지 : 컴퓨팅의 실제(Journal of KISS: Computing Practices) : 제8권 제1호 (2002년 2월) 2002, 02

원문정보  

 url

모체레코드  

모체정보확인

Control Number  

kjul:60225114