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

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

Specification Refinement and Simulation Techniques

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

  • 서동수 (성신여자대학교 컴퓨터정보학부)
  • Published : 2007.11.07
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  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