Cs-Se
Edapt으로 GMF 모델 마이그레이션 구현
모델 기반 트레이스 검증: 실무 적용과 가능성
지능형 분산 의사결정 절차를 위한 게으른 분해와 크레이그 보간법
멀티스레드 프로그램을 위한 부분 중복 제거
플랫폼 의존 검증 21세기 검증 도구 설계
GMF 그래프 모델 마이그레이션 사례와 변환 도구 평가
자동차 안전 크루즈 제어 시스템 설계 및 검증
소프트웨어 개발 방법론의 무게별 비교와 선택 가이드
스프레드시트 정성 오류 분류 체계 탐구
복합 솔루션 집합을 위한 통합 설계 전략
QVTR XSLT 로 HelloWorld 구현 사례
스프레드시트 오류 방지를 위한 실천‑정책 연계 연구
아키텍처 중심 진화 프로세스로 설계·구현 일관성 유지와 부패 방지
모델 기반 언어 사양을 위한 혁신적 파서 생성기
VIATRA2 로 Hello World 구현
서비스 지향 가상 조직 육성 환경에서 파트너 선택을 위한 역량 모델링
조립 관점과 연속 조립 관점 논리와 시간 특성
재무 부서 스프레드시트 6만5천 건 자동 분석: Luminous 기술 활용
동시 함수 통신 모델 추상화와 캡슐화
QVTR‑XSLT 로 구현한 TTC 2011 컴파일러 최적화 솔루션
스프레드시트 유지보수성 자동 평가를 위한 모델과 데이터베이스 구축 방안
하이브리드 고탄성 고강도 탄소섬유 복합 구동축 최적 설계
