논문KCI 등재
UML 다이어그램의 정확성 검증을 위한 메타모델과 OCL로 명세한 검증규칙
Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams
0
조회
0
다운로드
0
인용
0
참고문헌
주제분류공학
관련 논문AI추천
OCL에 바탕을 둔 메트릭 기술 언어를 이용한 메트릭의 표현 방법 개선김윤규, 김태연, 채흥석한국정보처리학회 · 정보처리학회논문지D2008 · 제15권 제5호XML-OGL : XML 문서 질의를 위한 UML 기반 그래픽 언어하얀, 김기한한국정보처리학회 · 정보처리학회논문지D2003 · 제10권 제3호UML 클래스 다이어그램을 이용한 XML-GL 질의 모델링김용성, 유춘식, 최봉진한국정보처리학회 · 정보처리학회 논문지2007 · 제14권 제1호요구사항 기술서로부터 유스케이스 다이어그램의 추출기법유철중, 정소영한국정보처리학회 · 정보처리학회논문지D2002 · 제9권 제4호모델 검증 시스템을 활용한 함정전투체계 소프트웨어에 일관된 UML 모델 적용 방법에 관한 연구이우진, 정승모한국컴퓨터정보학회 · 한국컴퓨터정보학회논문지2022 · 제27권 제5호관계형 데이터베이스 기반의 XML 응용을 위한,UML 클래스를 이용한 통합 설계 방법론방승윤, 주경수한국정보처리학회 · 정보처리학회논문지D2002 · 제9권 제6호