Cs-Se
대규모 온라인 게임을 위한 서비스 지향 아키텍처
도메인 특화 변환 언어: 구체 문법 재활용
동적 컴포넌트 인터페이스 모델링
동적·시맨틱 분석을 통한 기능‑코드 매핑
런타임 검증을 위한 레지스터 오토마타 기반 TOPL 자동화
리팩터링 활동 실증 연구
맞춤형 SaaS 애플리케이션을 위한 변이성 모델링
멀티코어 통신 API의 락프리 알고리즘 성능 영향
멕시코 기업의 소프트웨어 프로젝트 규모 분석
모델 기반 임베디드 제어 소프트웨어 자동 합성
모델 라이브러리를 위한 단계적 진화와 품질 게이트
모델 매칭 챌린지 Ecore와 BPMN 다이어그램 벤치마크
모바일 플랫폼 전쟁과 오픈소스 전략
바이너리와 대규모 데이터셋을 위한 MARFCAT 진화
복잡계 모델링을 위한 새로운 설계 선언
분산 객체 지향 컴포넌트 라이브러리 활성도 지표
분산 소프트웨어 개발 위험 식별을 위한 규칙 기반 맞춤 모델
분산 소프트웨어 프로젝트 수용 테스트 지원을 위한 통합 피드백 시스템 경험과 요구사항
분산 협업을 위한 변화 지원 모델
분산형 시스템의 자기 적응 행동 형식 검증 사례 연구
비즈니스 프로세스 요구에 맞는 다중 기준 서비스 선택 알고리즘
사용자 친화적 IT 보안 설계: 이메일 암호화 사례 연구
