정보과학회지 (Communications of the Korean Institute of Information Scientists and Engineers)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

명세의 정제와 시뮬레이션 이론

Specification Refinement and Simulation Techniques

  • 서동수 (성신여자대학교 컴퓨터정보학부)
  • 발행 : 2007.11.07
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

키워드

참고문헌

  1. J Woodcock, J, Davis, Using Z Specification, Refinement, and Proof, Prentice Hall, 1996
  2. RTCA DO 178-B, Software Consideration in Airborne Systems and Equipment Certification, 1992
  3. 정보시스템 공통평가기준, 정보통신부 2002
  4. C Morgan, Programming from Specification, Prentice Hall, 1990