지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. OCL 확장
3. 상태와 형상
4. 결론 및 향후 연구 방향
참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
이벤트 위주의 실시간 OCL과 그 응용
정보과학회논문지 : 소프트웨어 및 응용
2001 .12
UML 모델을 위한 메트릭기술 언어 : MDL4UML
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2008 .07
OCL을 사용한 데이터베이스 제약사항 일관성 확인
한국정보과학회 학술발표논문집
2004 .10
OCL을 이용한 UML 2.0 행위 모델의 시간 일관성 검사
한국정보과학회 학술발표논문집
2006 .06
OSGi 컴포넌트 플랫폼을 이용한 메타모델 기반의 건강관리 서비스 시스템 개발
멀티미디어학회논문지
2011 .01
OCL을 이용한 빅데이터 기반의 생체신호 분석 모델
한국정보통신학회논문지
2019 .12
400km/h급 전차선로의 성능검증 방법
대한전기학회 학술대회 논문집
2013 .10
UML 분석 모델의 구조적 제약사항에 대한 OCL 기반의 명세 및 검증
정보과학회논문지 : 소프트웨어 및 응용
2006 .02
OCL을 이용한 리팩토링의 선행조건 정의
한국멀티미디어학회 학술발표논문집
2008 .05
리팩토링을 위한 OCL 기반의 코드 속의 나쁜 냄새 탐지
한국멀티미디어학회 학술발표논문집
2008 .05
UML 구조 다이어그램과 행위 다이어그램의 일관성 메타검증
정보과학회논문지 : 소프트웨어 및 응용
2003 .12
건강관리 시스템개발을 위한 메타모델기반의 프레임워크
한국멀티미디어학회 학술발표논문집
2009 .11
상호점검규칙에 의한 UML 다이어그램의 일관성 개선
한국정보통신학회논문지
2012 .06
메트릭 기술 언어 : MDL4UML
한국정보과학회 학술발표논문집
2007 .10
UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경
한국정보과학회 학술발표논문집
2001 .10
수서고속철도 전차선로의 설치조건의 따른 집전상태 분석
전기학회논문지
2017 .04
계약 기반 정형 명세로부터 이해도 높은 상태 기계 자동 구축 기법
정보과학회논문지 : 소프트웨어 및 응용
2012 .09
수소화 비정질실리콘 태양전지에서 광전자제어층 두께변화를 통한 칼라 구현 연구
Proceedings of KIIT Conference
2019 .11
0