Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2000.04a
  • /
  • Pages.495-497
  • /
  • 2000
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Checking consistency and correctness in object-oriented analysis model

객체지향 분석 모델의 일관성 및 오류 점검 기법에 관한 연구

  • 한미정 (숙명여자대학교 컴퓨터학과) ;
  • 김유경 (숙명여자대학교 컴퓨터학과) ;
  • 박재년 (숙명여자대학교 컴퓨터학과)
  • Published : 2000.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출물로 관리되어야 한다. 본 논문은 이를 지원하기 위해 정형명세를 위한 New FST를 정의하고, 분석 모델의 정확성과 일관성 검증 규칙을 제안하며, 사례 연구를 통하여 적용하여 이 규칙들을 시험하였다.

Keywords