Cs-Se
다중코어 시대를 위한 가상머신 동시성 지원 설계
기업 모델 검증과 검증 접근법
SOA와 RUP의 매핑 전략 디지털 오피스 어시스턴트 사례 연구
컴포넌트 기반 애플리케이션을 위한 애자일 개발 프레임워크
산업 현장에 떠오르는 형식 방법 가이드
자동 생성 테스트 케이스의 신뢰성 있는 채굴 및 축소 방법
소프트웨어 신뢰성 성장 모델 최적 선택: 소셜 스파이더 알고리즘 기반 접근법
하이퍼로컬 뉴스 맞춤 추천 시스템 설계
게임 이론 기반 결함 허용 임베디드 시스템 자동 합성
F4MS 기반 디지털 권리 관리 시스템 공동 설계
산업 현장 SDLC 모델 검증과 비교 분석
애자일·신속 개발에서 품질 요구 관리: 현황과 과제
클라우드와 사물인터넷 연결의 도전과 과제
소프트웨어 엔지니어링 지식관리 체계적 고찰
디버깅을 위한 결함 위치 추정 모델 비교
애자일과 MDA의 융합 온라인 투표 시스템 사례 연구
소프트웨어 프로세스에서 사용자 행동 예측
그래틀로 2011 재구성 사례 해결
VIATRA2로 TTC 2011 재공학 사례 해결
쿼리 기반 시각화와 자동 데이터 관리
헬로월드 변환 도구 대회 사례
소프트웨어 공학의 재현주의 패러다임
