지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
XMI를 활용한 비즈니스 프로세스 모델 호환 방법론
한국전자거래학회지
2006 .08
메타데이터 교환표준(XMI)을 이용한 분산 이종 GIS 데이터베이스 검색
한국공간정보시스템학회 논문지
2000 .06
XMI로 표현된 UML 모델로부터 생성된 시험 데이터를 이용한 컴포넌트 기반 소프트웨어 시험 도구
한국정보과학회 학술발표논문집
2002 .04
A New Logic Circuit Design Methodology with UML
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
객체-관계형 데이터베이스 응용을 위한 XML Schema 설계방법론 개발
멀티미디어학회논문지
2004 .09
코드와 모델의 일치성을 위한 코드 저장소
한국정보과학회 학술발표논문집
2007 .06
자연어 요구사항의 상태차트 모델링
한국정보과학회 학술발표논문집
2006 .10
An Automatic Simulation Technique for UML State Machine Diagrams based on Abstract Scenarios in Sequence Diagrams
정보과학회논문지 : 소프트웨어 및 응용
2009 .06
스테이트차트의 실시간 검증을 위한 모델체커의 확장
정보과학회논문지 : 소프트웨어 및 응용
2004 .06
차트 파싱 방법을 이용한 한국어 구문 분석 시스템
한국정보과학회 학술발표논문집
1989 .10
State-machine Construction for LSC Specification
한국정보기술학회논문지
2010 .05
모델 검증과 모델 합성을 이용한 제어기 생성 사례 연구
한국정보과학회 학술발표논문집
2015 .06
Simulation of State Machine Diagram based on Sequence Diagram
한국정보과학회 학술발표논문집
2008 .06
릴레이 모델 체킹을 이용한 상태 폭발 문제 해결
정보과학회논문지 : 소프트웨어 및 응용
2004 .11
0