제 19회 한국 소프트웨어공학 학술대회 논문집 다운로드(KCSE 2017)

튜토리얼

• T1 : Agile 개발환경의 중요성과 구축방안 – 김웅환 기술고문(SK Planet)
• T2 : SW 개발시 오픈소스 SW 활용과 소프트웨어공학 고려사항 – 송상효 교수(성균관대)
• T3 : 소프트웨어 아키텍처 분석과 평가 – 금상섭 책임(한국전자통신연구원)
• T4 : 사례 중심으로 소개하는 OOAD – 이병정 교수(서울시립대)
• T5 : 블록체인 기초 이론과 활용 – 박용범 교수(단국대)
• T6 : 소프트웨어 아키텍처 모듈-뷰 복원을 윟나 자동화 기법 – 이찬근 교수(중앙대)

A1 : SW 품질 1

• 소프트웨어 품질 측정을 위한 데이터 종합에서 역상관 방법 [단편논문] – 안종선, 강성원 (KAIST)
• 소프트웨어 품질 가시화 전략 – 원격 개발 환경과 서비스 거버넌스 및 빅데이터를 활용한 End to End 모니터링 [후원업체] – 박병훈(티쓰리큐㈜)
• 코드 수정 단위의 소프트웨어 결함 예측을 위한 정규화 기법 비교 분석 [단편논문] – 정주상, 백종문(KAIST)
• Usability 와 Security 의 트레이드 오프 제거를 위한 품질 속성 요소 연결 지침 [단편논문] – 노우리, 이석원 (아주대학교)

A2 : 도구 및 개발환경

• 커널용 메모리 깨짐 검출기 [산업체논문] – 우충기, 권진만, 이승훈, 이학봉, 권재욱 (㈜삼성전자)
• Toolchain 을 이용한 System Model 생성, 검증 자동화 제안 [단편논문] – 이승민, 박용범 (단국대학교)
• 코드 클론을 효율적으로 관리하기 위한 시각화 방안 [일반논문] – 김하영, 최은만 (동국대학교)
• 웨어러블 어플리케이션 개발을 위한 안드로이드 BLE API 에뮬레이터와 확장성에 관한 연구 [단편논문] – 문현아, 박수용 (서강대학교), 최광훈 (전남대학교)

A3 : 보안 1

• 실시간 파일행위 모니터링을 통한 랜섬웨어 침해복구 연구 [단편논문] – 김재열 (고려대학교)
• 화이트리스트 기반 감염 프로세스 검출 및 감염원 추적 [단편논문] – 김시론, 박용범 (단국대학교)
• 데이터 통계를 이용한 국가 사이버위협 경보 수준 판단 [우수단편논문] – 서형준, 조민경, 이상운, 배병철 (한국전자통신연구원 부설연구소)
• AOP 를 활용한 모바일 클라이언트와 서버간 민감 정보 전송의 동적 모니터링 방법 [단편논문] – 최윤석, 최은만 (동국대학교)

A4 : SW 테스팅 1

• 국방무인기체계 SW 시험을 위한 DO-178C 적용방안 연구 [산업체논문] – 류인수 ((주) 모아소프트)
• TPC-DI 기반의 ETL 솔루션 성능 테스트 사례 [산업체논문] – 김상기, 강건희 (한국정보통신기술협회)
• 벤처/중소기업의 테스트 조직을 위한 한국형 테스트 성숙도 모델 시범 적용 사례 [산업체논문] – 김기두 (한국정보통신기술협회), 김영철 (홍익대학교)
• 소프트웨어 변경의 테스트 범위를 정의하기 위한 산출물 정보 분석 [일반논문] – 최효린, 이병정 (서울시립대학교), 이정원 (아주대학교)

B1 : 분석 및 평가

• 추상 도달가능성 그래프 기반 소프트웨어 모델체킹에서의 탐색전략 고려방법 [우수논문] – 이낙원, 백종문 (KAIST)
• A Unified Approach for UML Based Safety Oriented Level Crossing Using FTA and Model Checking [일반논문] – Anit Thapaliya, Gihwon Kwon (경기대학교)
• 감정 분석 기반의 사용자 피드백을 이용한 클라우드 서비스 평가 기법 [우수단편논문] – 윤동규, 김웅수, 박준석, 염근혁 (부산대학교)
• 매쉬업 개발자를 위한 매쉬업 유사도 기반 서비스 추천 방법 [최우수논문] – 김현승, 고인영 (KAIST)

B2 : 유지보수

• 코드 가독성 측정을 위한 소프트웨어 특징 목록 [단편논문] – 최상철, 김순태 (전북대학교)
• 객체 지향 프로그램(C++)을 위장한 절차식(C) 패러다임 자동 식별화 구축 [단편논문] – 변은영, 손현승, 장우성, 김영철 (홍익대학교), 김영수 (정보통신산업진흥원)
• N-그램 모델 기반의 코드 변경 추천 시스템 [단편논문] – 김태현, 강성원 (KAIST), 이선아 (경상대학교), 금창섭 (한국전자통신연구원)
• 소프트웨어 유지보수 효율 향상 지원을 위한 의사코드 및 소스코드 양방향 자동 변환 연구 [학부논문] – 권혁무, 장현수, 박동민, 서영석 (영남대학교)

B3 : 보안 및 안전성

• 모바일 아키텍처를 고려한 애플리케이션 보안 취약점 진단 방안 [단편논문] – 김명근, 최은만 (동국대학교)
• 지능형 지속위협 생애주기를 고려한 보안요구사항 명세 방법 [단편논문] – 김승준, 이석원 (아주대학교)
• 결함 분류체계와 휴먼 에러 분류체계를 적용한 SW 구현 단계 FMEA 수행 체계 [단편논문] – 최이수, 한동준, 한혁수 (상명대학교)
• STPA 를 활용한 ISO 26262 기반의 안전분석 체계수립 [박사논문] – 도성룡 (현대오트론), 한혁수 (상명대학교)

B4 : SW 품질 2

• 안드로이드 버그 분류: 이슈 설명서 기반 버그 담당자 선정 자동화에 대한 연구 [산업체논문] – 최성옥, 조재호, 민모란, 민상윤 (KAIST 소프트웨어대학원)
• 컴포넌트 단위 학습을 이용한 버그 담당자 추천 [단편논문] – 조충기, 김영민, 이기성, 이찬근 (중앙대학교)
• I-BL 기술의 성능 향상을 위한 버그리포트 품질 예측 및 자동 재구성 기술 [우수논문] – 김미수, 안준, 이은석 (성균관대학교)
• 딥 러닝을 이용한 버그 담당자 자동 배정 연구 [우수논문] – 이선로, 김혜민, 이찬근 (중앙대학교)

C1 : 리팩토링 & 유지보수

• 파일들의 패키지 관계를 반영한 Change Coupling 추출 및 이를 이용한 리팩토링 대상 추천 [학부논문] – 조영준, 허민재, 이찬근 (중앙대학교)
• 효율적인 리팩토링을 위한 조직 특성의 품질 지표 기반 우선순위 선정 자동화 [단편논문] – 박지훈, 손현승, 박보경, 이진협, 김영철 (홍익대학교)
• Hadoop Platform 에서 UML 모델 기반 영상 처리 소스 코드 자동 생성 방안 [단편논문] – 고미은, 박용범 (단국대학교)
• 테스트로부터 소스 코드로의 추적성 향상을 위한 소프트웨어 행위 모델 활용 [일반논문] – 백승석, 이병정 (서울시립대학교), 이정원 (아주대학교)

C2 : 요구공학

• 인공지능 소프트웨어 개발을 위한 요구공학 프레임워크: 인지컴퓨팅 시스템을 중심으로 [일반논문] – 안우람 김재홍, 김경모(KAIST 소프트웨어대학원), 민상윤(KAIST)
• 안전 요구사항 추출을 위한 안전성 분석 지침 개발 및 적용 사례 [단편논문] – 정대희, 권기현 (경기대학교)
• 소프트웨어 요구사항 진화에서의 추적성 관리의 어려움 조사 [일반논문] – 박종열, 류승희, 정세린, 이선아 (경상대학교)
• 오디오 컨텍스트의 라이프 시맨틱 분석 프레임워크 [최우수논문] – 정한터, 김수동 (숭실대학교), 라현정 ((주)스마트랩)

C3 : 설계 & 모델링

• JAVA 오픈 소스의 재사용성 및 확장성 향상을 위한 소프트웨어 설계 패턴 추출 기법 [일반논문] – 최용석, 김두환, 홍장의 (충북대학교)
• 디지털 건강 분석 솔루션을 위한 소프트웨어 플랫폼 설계 [일반논문] – 라현정(스마티랩), 정한터, 임성민, 김수동(숭실대학교)
• 기능 분석과 아키텍처 패턴을 이용한 자율주행 자동차 소프트웨어 아키텍처 설계 방법 [일반논문] – 김순겸, 김두환, Nazakat Ali, 홍장의 (충북대학교)
• 행위 모델링 및 조합을 위한 객체지향성 [학부논문] – 김희언 (세종대학교)

C4 : 패턴추출 & 빅데이터

• Cascade K-Medoids 기반 자바 메소드 식별과 패턴 자동 식별 기법 [단편논문] – 김태영, 김순태, 이정휴 (전북대학교)
• 딥러닝을 활용한 주행 패턴 특징 추출 연구 [단편논문] – 이주영, 장기태 (한국과학기술원), 이홍석, 정희진 (한국과학기술정보연구원)
• 추상구문트리의 연어 관계 분석을 통한 Java API 패턴 추출 및 추천 시스템 개발 [최우수논문] – 권찬우, 황상원, 남영광 (연세대학교)
• 빅데이터 분석 방법론 [후원업체] – 유태빈 (㈜코스콤)

D1 : SW 중심 대학 (초청 발표 세션)

• 경북대학교 SW 중심대학사업단의 SW 가치확산 활동 사례 연구 – 정원일(경북대)
• SW중심대학사업 수행사례- 성균관대학교 사례 – 이은석(성균관대)
• 비전공자를 위한 컴퓨팅사고력 교육과정-고려대학교 운영사례 – 김현철(고려대)

E1 : 스마트 시스템

• QoS 요구사항 만족을 위한 온톨로지 기반 태스크 매치메이킹 기술 [일반논문] – 김민협, 고인영 (KAIST)
• 포그 컴퓨팅 환경에서 서비스 QoS 를 고려한 자동화된 서비스 인스턴스 선택 방법 [단편논문] – 권정현, 고인영(KAIST)
• IoT 기반의 실시간 가축 건강 및 번식 관리를 위한 모바일 어플리케이션 개발 [우수단편논문] – 김희진, 오세은, 최병주 (이화여자대학교), 안세혁 ((주)유라이크코리아)
• 다중 조명 제어 기기간의 최적화를 위한 자가 적응 의사 결정 방법 [단편논문] – 김현우, 이의종, 백두권 (고려대학교)
• 스마트 냉장고 상호작용 시 사용자 개입을 최소화하기 위한 스마트 스토리지 시스템 설계 및 프로토타입 개발 [학부논문] – 박준희, 손희석, 김재헌, 이동만 (KAIST)

E2 : SW 테스팅 2

• 시험 자동화도구를 적용한 소프트웨어 통합시험 커버리지 달성방안 [산업체논문] – 장정훈, 이기영, 이원택, 강유선, 류인수 (㈜모아소프트)
• SILS 및 런타임 모니터링을 활용한 레거시 S/W 시나리오 테스팅 및 속성검증 사례연구 [우수단편논문] – 박민규, 서보영, 조현승, 이호정 (LG 전자), 장훈 (현대자동차)
• 차량용 SW 의 HiL 테스팅을 위한 빅데이터 압축 수집 기법 [일반논문] – 신종환, 최기용, 이정원 (아주대학교), 이병정 (서울시립대학교)
• SW 테스트 수준 측정 기반의 테스트 중심 품질관리 프레임워크의 실무 활용 효과에 대한 연구 [산업체논문] – 김관호, 권원일 (STA 테스트컨설팅), 정수진, 김명주, 유경훈, 이노원 (정보통신산업진흥원)

E3 : SW 프로세스

• 무기체계 SW 신뢰성 관리를 위한 프로세스 연구 [산업체논문] – 서달미, 손근태, 서형오, 오정섭 (NSE), 김태현, 박삼준 (국방과학연구소)
• 한국형 테스트 성숙도 모델을 위한 경량화 연구 [우수단편논문] – 박보경, 장우성, 김영철 (홍익대학교), 김기두 (한국정보통신기술협회), 이근상 (전북테크노파크), C. R. Carlson (IIT)
• 이슈 관리 프로세스의 정량적 평가 프레임워크 [단편논문] – 오승원, 전은진, 한혁수 (상명대학교)
• ACMI Data Link Design and M&S Results [산업체논문] – 심인보, 오지현, 김천영, 지철규 (국방과학연구소)
• 소프트웨어 개발 조직의 특성에 관한 연구 : 현상과 특성에 관한 조사 [일반논문] – 김윤수, 김재욱, 이원영, 김태호, 민상윤 (KAIST 소프트웨어대학원)

E4 : 블록체인

• 소비되지 않은 출력값 (UTXO) 추출 기법을 통한 블록체인 사이즈 축소 방안 [단편논문] – 이동영, 박수용 (서강대학교)
• 블록체인 기반 전자투표 시스템 [단편논문] – 이우승, 고동휘, 고덕윤, 박수용 (서강대학교)
• 스마트 계약 기반 탈 중앙 전자 투표 시스템 [단편논문] – 노승학, 인호 (고려대학교)
• 모바일 디바이스 배터리 소모 분석 기법 평가 [우수단편논문] – 송지영, 조치우, 지은경, 배두환 (KAIST)
• 소프트웨어 정의 네트워크 환경에서 애플리케이션 QoS 보장을 위한 모니터링 아키텍처 [단편논문] – 황제승, 김웅수, 염근혁 (부산대학교), 박준석(부산대학교 물류혁신네트워킹연구소)

 제 18회 한국 소프트웨어공학 학술대회 논문집 다운로드(KCSE 2016)

튜토리얼

• T1: 검색 기반 소프트웨어 공학 유신 교수(KAIST)
• T2: 자동차 SW의 안전성을 위한 프로세스 모델: Automotive SPICE 와 CMMI 한혁수 교수(상명대)
• T3: 임베디드 SW product line 개발 및 진화 이근 박사(삼성전자)

A1: SW 테스팅 1

• UML 상태 다이어그램 기반 테스트 스크립트 자동 생성 도구 [학부논문] – 이영우, 최현재, 채흥석(부산대)
• Pair-wise Component Compatibility Testing [단편논문] – Anvika, 윤일철(뉴욕대)
• 안드로이드 애플리케이션 무반응 탐색과 회피 방안 – 김경민, 최은만(동국대)
• 다중 결함 환경에서의 SFL성능 개선을 위한 테스트 케이스 군집화 및 가중치 부여 기법 [단편논문] – 이재희, 김정호, 이은석(성균관대)
• Circus 명세를 통한 Go 코드 생성 – 신지훈, 최진영(고려대)
• 동시성을 포함한 액티비티 다이어그램 기반 테스트 시나리오 생성 기법 [우수논문] – 백승찬, 최효린, 이병정(서울시립대), 이정원(아주대)

A2: SW 아키텍처 1

• 코드 중복 없이 안드로이드 컴포넌트에 예외 처리를 추가하는 클래스 설계 방법에 관한 연구 [우수학부논문] – 김현순, 이승휘, 이화중, 최광훈(연세대), 창병모(숙명여대)
• 레거시 소프트웨어의 품질 개선을 위한 역방향 Tactic 분석 중심의 아키텍처 평가 [우수산업체논문] – 류동국, 김재선, 김진태(엑스퍼트그룹)
  논리적 UI 모델의 MVC 패턴으로의 매핑 – 김세화, 최기봉, 이승엽(한국외대)
• 소프트웨어의 계층 구조 파악을 위한 계층적 K-means 알고리즘 – 이선로, 이찬근(중앙대)
• 공중전투기동 내장형 훈련 S/W 아키텍처 설계 [산업체논문] – 장영찬, 지철규, 오지현, 김천영(국방과학연구소)
• 자동차 원격 제어의 신뢰성을 높이기 위한 시스템 구조 및 동작 절차 제안 – 이윤성, 권영채, 이성주, 이율희, 이석원(아주대)

A3: 적응형 SW

• Using Problem Frames and Goal Modelling techniques to determine Variability in Smart Grid RTP systems – Meetushi, 이석원(아주대)
• 모델 기반 소프트웨어공학에 입각한 요구사항 추적성 메타모델 정의법 개관 [단편논문] – 변성훈, 이석원(아주대)
• 환경정보를 고려한 자가적응형 시스템을 위한 동적 의사결정 기술 [우수논문] – 김미수, 정호현, 이은석(성균관대)
• 모바일 어플리케이션 GUI 사용성 저해요소 검출 도구 [단편논문] – 마경욱, 박수진(서강대)
• 시간-주파수 논리를 활용한 클래식 형식 분석 [단편논문] – 박수정, 권혁주, 권기환(경기대)
• 레거시(PL/SQL) 코드에서 변경 영향을 검출하는 오염 분석기 설계 방법: 요약 해석을 기반으로 [산업체논문] – 김용기(삼성전자)

A4: 이슈 및 결함 관리

• Embedded S/W 개발에서 Issue 해결의 어려움에 대한 고찰 – 임순일, 정병민, 민상윤(KAIST)
• 가전제품 사업에서의 소프트웨어 버그리포트 재현가능성 향상에 관한 연구 – 이창훈, 이미연, 민상윤(KAIST)
• 메모리 영역 분할을 통한 메모리 갱신 정보 기반 결함 후보 축소 기법 [최우수논문] – 김관효, 최기용, 이정원(아주대)
• IR기반 결함위치추적을 위한 사용정보 영향력 분석 – 안준, 염창선, 김정호, 이은석(성균관대)
• 테스트케이스 재구성을 통한 결함위치식별 성능개선 [최우수논문] – 김정호, 이은석(성균관대)

B1: SW 테스팅 2

• 테스팅 트렌드와 산업계 동향 [후원업체] – 박현우(㈜다한테크)
• 효과적인 웹 애플리케이션 테스팅을 위한DOM 관련 동적 데이터 흐름 분석 방법 – 김지훈, 고인영(KAIST)
• DO-178C 기반 소프트웨어 동적 테스트 방안 [산업체논문] – 윤상은, 이종민, 정영은(TTA)
• 인수 (Acceptance) 테스트 자동화 실무 사례 [산업체논문] – 신현일, 조성민, 최근호(S-Core)
• 입력 커버리지를 활용한 효율적인 동적 기호 실행 탐색 기법 [우수단편논문] – 김윤호, 김문주(KAIST)

B2: SW 아키텍처 2

• 내장형 소프트웨어 안전성 강화를 위한 fault injection testing [후원업체] – 송한규 실장(슈어소프트테크㈜)
• 계층적 구조를 고려한 소프트웨어 아키텍처 편차 측정 [우수단편논문] – 김희주, 이기성, 김준석, 이찬근(중앙대)
• 산업용 로봇 소프트웨어에서 재사용성 확보를 위한 옵저버 패턴 적용 [단편논문] – 하상범, 유철중(전북대)
• 상호 정보량을 이용한 소프트웨어 아키텍처 모듈-뷰 복원 평가 – 허민재, 이찬근(중앙대)
• 클러스터 앙상블을 이용한 소프트웨어 아키텍처 모듈-뷰 복원 – 조충기, 이찬근(중앙대)

B3: 노력 추정 및 도구

• IT 서비스 운영을 위한 SW 개발공수 추정모델 적용사례 [후원업체] – 이창환 팀장(KOSCOM)
• 소프트웨어 코드탐색 다이어그래밍 도구 [후원업체] – 이선아, 정필수(KAIST)
• 온라인 게임 위치 기반 그룹 분류를 통한 봇 탐지 기법에 대한 연구 – 이세희, 김수아, 이지형(성균관대)
• Matlab 기반 차량제어시스템의 측정 데이터 분석 도구의 구현 [산업체논문] – 이창호(현대오트론)
• 카페 좌석 관리 시스템 – 박평우, 임종찬, 노우리, 문은미, 이석원(아주대)

B4: 보안 및 사물인터넷(IoT)

• 블록체인 기반 서비스의 트랜잭션 검증 효율성 개선 방안 [단편논문] – 고동휘, 고덕윤, 이우승, 조수환, 최수진, 이일로, 박수용(서강대)
• 사물 인터넷 환경에서의 그룹 사용자를 위한 그룹 구성 정보 기반 서비스 추천 방법 [최우수논문] – 이진서, 고인영(KAIST)
• 미션-크리티컬 인메모리 DBMS의 결함탐지를 위한 결함주입 테스트 방법 및 도구 [산업체논문] – 서강익, 마영철, 이재회, 이종정, 박준호(ALTIBASE)
• 국내 기업의 SW 개발보안 적용사례 분석 [단편논문] – 박난경, 최진영, 임종인(고려대)
• 사물인터넷 환경에서 지리적 응집도를 고려한 동적 서비스 검색방법 [우수논문] – 백경덕, 김민협, 고인영(KAIST)

C1: 정형 명세

• 분산 이동 실시간 시스템의 이동성 명세와 검증을 위한 시각화 도구 – 최영복, 박현주, 이문근(전북대)
• 위치 기반 서비스에서 이동 경로의 정형 명세 및 모니터링 – 권혁, 권혁주, 권기현(경기대)
• 시스템 오브 시스템즈 목표 검증을 위한 시뮬레이션 사례 연구 [단편논문] – 서동원, 신동환, 박지훈, 지은경, 배두환(KAIST)
• 에어컨 실외기 제품의 소프트웨어 재사용성 향상을 위한 피처 기반 제품라인공학 기술 적용 연구 [산업체논문] – 권혁상(㈜삼성전자), 강성원, 한영훈(KAIST)

C2: SW 아키텍처 3

• 고신뢰성 소프트웨어공학도구 솔루션 SILKROAD [후원업체] – 백가현 연구원(㈜엔에스이)
• A Software Development Framework for Industrial Computer Vision Systems – Mesfin Abebe, Cheol-Jung Yoo(전북대)
• 구문적 노이즈 제거를 이용한 소프트웨어 아키텍처 복원 자동화 프레임워크 [단편논문] – 이기성, 이찬근(중앙대)
• 실시간 연동을 위한 LVC 통합연동시스템 아키텍처 설계 [산업체논문] – 오지현, 김천영, 장영찬, 지철규, 홍영석(국방과학연구소)

C3: SW 프로세스

• 모델 기반 Application Lifecycle Management [후원업체] – 오윤민 이사(㈜이에스지)
• TMMi 관점의 국내 SW 테스트 성숙도 현황 [후원업체] – 윤진우 수석(STA 테스팅컨설팅㈜)
• A Research on the Process towards developing the Framework on Systematic Investigation for Reliability improvement upon Software(SIRIUS) [산업체논문] – 박삼준, 이태호, 백옥현(국방과학연구소), 오정섭, 서달미(㈜NSE)
• 소프트웨어 R&D 프로젝트 검증을 위한 산출물과 활동 – 송상민, Amarmend Dashbalbar, 이병정(서울시립대), 이정원(아주대)

C4: SW 품질

• 한국 자본시장 전산장애 예방을 위한 SW 품질관리 추진사례 [후원업체] – 이치형 부사장(KOSCOM)
• 정적 검증 시각화를 통한 품질 지표 관리 [후원업체] – 차신 센터장(테스트마이다스)
• 국가 사이버안보 역량 강화를 위한 사이버보안 성숙도 모델 설계 [산업체논문] – 이민재(㈜티큐엠에스), 손영동(고려대)
• SPL 기반의 무기체계 SW 통합개발환경 운용 개념 연구 [산업체논문] – 백옥현, 이태호, 박삼준(국방과학연구소)
• 분산시스템에서의 공유자원 가용성을 고려한 실시간 제어방법 연구 [단편논문] – 장부철, 정우진, 송대기, 신진범(국방과학연구소)

D1: SW 검증

• 정형 기법을 이용한 NFV Policy 들의 일치성 검증 [단편논문] – 구근회(고려대), 강미영, 최진영(고품질융합소프트웨어센터), 이승익(ETRI)
• Safety Critical System 에서 요구사항 검증 및 통합 명세화 방법제안 [단편논문] – 임혜선, 이석원(아주대)
• 소프트웨어 연구 문서 산출물의 추적을 위한 연관성 링크 정보 모델 기반 전문가 시스템 설계 – 백두산(아주대), 이병정(서울시립대), 이정원(아주대)
• 위기대응 매뉴얼 신뢰성 향상을 위한 검증방안 연구 [단편논문] – 이 혁, 최진영(고려대)

D2: 요구공학

• 국방 전투관리체계 개발을 위한 상호작용 유즈 케이스 기반 요구사항 모델링 기법 – 김두환, 홍장의(전북대), 김동환(LIGNex1)
• PbD 7 대 기본원칙과 GQM 을 활용한 프라이버시 요구사항 도출 방법론 [단편논문] – 조주혜, 이석원(아주대)
• 지능형 화폐 인식 SW 개발의 Visualization 적용 사례 및 임베디드 SW 개발 조직의 Visualization 적용 로드맵 제안 [산업체논문] – 한동준(소프트웨어 안전성 보증 연구센터), 김은비, 한혁수(상명대), 엄영석, 정대식, 조달호(KISAN)
• 인지적 분석을 통한 임상 의사결정 지원 시스템 인터페이스 설계 [단편논문] – 고동균, 김유찬, 윤완철(KAIST)

D3: 온톨로지 및 서비스

• 혈액종합검사에 특화된 온톨로지 구축: 설계와 활용 – 제현우, 박유경, 홍원의, 이문용(KAIST)
• 사용자의 서비스 사용 성향을 고려한 클라우드 서비스 추천 – 최비오, 박준석, 황제승, 김웅수, 윤동규, 염근혁(부산대)
• 이기종 시맨틱 온톨로지 시스템의 통합 검색 [단편논문] – 황상원, 남영광(연세대)
• 소프트웨어 성능 가시화를 위한 툴 체인 개발 [단편논문] – 강건희, 박보경, 장우성, 황준순, 권하은, 이한솔, 이현준, 김영철(홍익대)

D4: SW 품질 2 및 SE 교육

• PageRank와 토픽 모델링을 이용한 소프트웨어 재사용 도메인 토픽 추출 시스템 개발 – 이용석, 남영광, 황상원(연세대)
• 소프트웨어 개발 프로세스를 대상으로 수행하는 추적성 분석의 세부 관계 정의 [단편논문] – 김재엽, 이동아, 유준범(건국대)
• Legacy 시스템의 안전성 분석기법 및 사례연구 [단편논문] – 김선주, 이석원(아주대)
• 프로젝트 중심 소프트웨어 공학 교육의 성과 분석과 개선 방안 [단편논문] – 최은만, 김하영(동국대)

E1: SW 테스팅 3

• 회귀 시험을 위한 통계적 분석 기반 테스트 항목 우선순위화 기법 [단편논문] – 조영환, 이은석 (성균관대)
• 안전 무결성 기준을 활용한 테스트 케이스 우선순위 [단편논문] – 송옥수, 김보운, 최병주 (이화여대)
• 확장된 라운드 트립 기법을 이용한 발사통제장치 테스트 기법 [단편논문] – 배정호, 안세준, 장부철, 구봉주 (국방과학연구소)
• 안드로이드 어플리케이션 개발 생산성을 위한 권한 자동 검사 기법 [단편논문] – 노승학, 인호(고려대)

E2: 정적 분석

• 안드로이드 이미지 로딩 라이브러리 비기능 품질 속성 비교 – 조성래, 정연철, 민상윤(KAIST)
• 코드마인드: 온더플라이 소스코드 정적분석 도구 [산업체논문] – 신승철, 이욱세, 노상훈, 김제민(코드마인드)
• 유사도 메트릭을 이용한 컴포넌트 상호연관성 추출 [우수단편논문] – 이재권, 김기섭, 정우성(충북대)

E3: SW 융합

• 다양한 이해관계자들 간 정보공유를 위한 산업용 로봇 소프트웨어 설계 기법 [단편논문] – 박진용, 유철중(전북대)
• 스마트 환경에서 디지털 사이니지와 이기종 디바이스간의 상호운용성을 지원하기 위한 메시지 플로팅 시스템 – 차민재, 이동우, 남태우, 염근혁(부산대)
• Automotive 소프트웨어 Security 향상을 위한 Coding Guideline에 대한 연구 – 우중기, 정지현, 민상윤(KAIST)

E4: SW 품질 3

• 소프트웨어 품질관리를 위한 이종 코드 변환 프레임워크 연구 [단편논문] – 손현승, 김영철(홍익대)
• 역공학을 이용한 오픈소스의 소스코드 요구사항 도출 및 Best Practices와의 비교 분석을 통한 소스코드의 품질평가 [단편논문] – 위대한, 이석원(아주대)
• 소프트웨어 프로세스 인증제도의 국방 적용방향 [단편논문] – 김영봉 유천수(한국국방연구원)
• 원자력 계측제어 소프트웨어의 안전성 분석을 위한Safety Case 의 Arguments 개발 절차 [우수단편논문] – 이동아, 유준범(건국대학교), 이장수 (한국원자력연구원)

제 17회 한국 소프트웨어공학 학술대회 논문집 다운로드(KCSE 2015)

튜토리얼

• MBTI 성격 유형에 기초한 SW엔지니어링 진로탐색 – 이세영 박사(SW공학센터)
• 소프트웨어 아키텍처 설계의 근본 원리들 – 강성원 교수(KAIST)
• 차량전장용 운영체제 안전성 검증 기법 – 최윤자 교수(경북대)
• 빅데이터 분석 기술의 소프트웨어 공학 활용 – 박찬진 박사(서울대 차세대융합기술연구원)
• Architecture for Smart Services and Systems – 김수동 교수(숭실대)
• 고신뢰성 차량 전자제어기 소프트웨어 품질 확보 방안 – 한무희 책임연구원(현대오트론)

프로젝트 계획 및 관리(1, 2)

• 제한 시간을 고려한 품질 기반 소프트웨어 프로젝트 계획 생성 기법 [최우수논문] – 서동원, 신동환, 배두환(KAIST)
• 소프트웨어 개발 문서 산출물의 품질 평가를 위한 ISO/IEC 9126 적용 방안 – 이미연(아주대), 김경아(명지전문대), 이정원(아주대)
• SW 연구 개발 문서 산출물 간의 대응 항목 추적을 위한 연관성 분석 – 백두산, 이정원(아주대)
• 파생모델의 문제점 관리에 대한 다 기준분석 의사결정법적 접근 [산업체논문] – 우준희(삼성전자), 문관기(LG전자), 민상윤(KAIST)
• Running a SCRUM project within a Document Driven Process [우수논문] – Jonathan Sawyer, 이석원(아주대)
• 가치 기반 소프트웨어 공학에 입각한 소프트웨어 자동 테스팅 도입 관련 의사결정 지원방법 개관 [단편논문] – 이보라, 이석원(아주대)
• SBA 효과도 분석을 위한 Web기반 사용자 인터페이스 개발 [단편논문] – 차현주, 서지원, 이해영, 김형종(서울여대)
• 한국 문화에서 Multicultural Diversity를 가진 Software Team의 개발 효율을 높이기 위한 조직 문화 연구[최우수산업체논문] – 김완회(삼성전자), 손주락(LG전자), 강종구(현대중공업), 민상윤(KAIST)
• 팀 기반 소프트웨어 개발시 협업에서의 비효율성 이슈와 개선을 위한 Agile Approach 연구 [산업체논문] – 권혁상(삼성전자), 맹홍재(LG전자), 강현구(NIA), 민상윤(KAIST)

서비스 관리와 개발

• 이동성이 있는 사물인터넷 환경에서 신뢰적이고 효율적인 서비스 발견을 위한 분산 레지스트리 구축 방법 – 조현준, 고인영(KAIST)
• 다차원 상황인지 기반의 서비스 추천을 위한 협업 필터링 방법 분석 – 손주식, 고한규, 고인영(KAIST)
• Open API 기반의 데이터 개방을 지원하기 위한 RESTful 서비스 조합 기법 – 장문수, 차민재, 남태우, 염근혁(부산대)
• 클라우드 서비스 중개를 위한 Cross-cutting 기반의 품질 메트릭 및 SLA 모델 – 안영민, 박준석, 최비오, 김웅수, 윤동규, 염근혁(부산대)

리팩토링 및 코드 개선

• 오픈 소스 라이선스(GPLv2) 준수를 위한 레가시 코드 재분할 기법(HIS Approach) – 이지환, 박수용(서강대), 류동국, 이지원, 김진태(소프트웨어엑스퍼트그룹)
• 임베디드 소프트웨어 모듈의 이식성을 개선하기 위한 리팩토링 프로세스 – 이경종, 강성원, 이선아(KAIST)
• 소프트웨어 리팩토링 기법의 조사 분석을 통한 기법분류 및 적용기법 선정 방안 – 이재욱, 김두환, 홍장의(충북대)
• Software Refactoring Impact on Software Quality in Android Application Development [단편논문] – Mesfin Abebe, 유철중(전북대)

SPLE 및 프로세스 개선

• 소프트웨어 제품라인 개발을 위한 직교적 가변성 기술 언어 기반의 바인딩 적용 도구 – 고경민, 강성원, 안종선(KAIST)
• 실무 중심으로의 소프트웨어 제품라인 공학 방법론 수행지침 개선 전략 [단편논문] – 최승용, 김정아(가톨릭관동대)
• 이종 스마트폰 앱 개발을 위한 메타모델기반 패러다임 연구 [단편논문] – 손현승(홍익대), 김우열(대구교육대), 김영철(홍익대)
• TMMi 모델 기반의 테스트 프로세스 개선 활동 수행 사례 [산업체논문] – 김상기, 이주현, 강수진(LIGNex1)
• 플랫폼 기반 소프트웨어 개발을 위한 디버깅 프로세스 개선모델 [산업체논문] – 조재원(삼성전자), 조익찬, 곽호정, 민상윤(KAIST)

아키텍처 설계 및 개선(1, 2, 3)

• 확장된 동적 결정 네트워크기반 자가적응형 시스템 [우수논문] – 김미수, 정호현, 이은석(성균관대)
• 클라우드 기반 사물인터넷 환경에서의 사용자 맞춤형 서비스를 위한 세션 관리 기법에 대한 연구 [단편논문] – 이성희, 김지훈, 이우진(경북대)
• 기존 사물을 이용한 IoT 환경 구축 방법 [단편논문] – 정은하, 노혜민, 유철중, 이정휴(전북대)
• 아키텍처 개선을 통한 정전관리시스템 정보흐름처리 성능향상 연구 [우수산업체논문] – 백원길(한전KDN), 백종문(KAIST)
• 플랫폼 업그레이드를 위한 코드 관리 방안: 안드로이드 플랫폼 기반의 경험적 연구 [우수산업체논문] – 정지용(삼성전자), 남윤옥(LG전자), 민경직, 민상윤(KAIST)
• 확장형 실시간 데이터 파이프라인 시스템 아키텍처 설계 [우수논문]  – 신호승, 강성원, 이지현(KAIST)
• 사용 시나리오 분석을 위한 부분 실행 아키텍처의 도출 방법 – 정필수, 허준행, 안휘, 강성원(KAIST), 권오인, 서만수(LG전자)
• 오픈 아키텍처 기반 통합 관리 및 모니터링 시스템을 위한 애플리케이션 구현 전략 [단편논문]  – 민법기, 서용진, 김현수(충남대)
• 함정 전투체계 통합 관리 시스템을 위한 통신 인터페이스 설계 및 구현 [단편논문] – 서용진, 민법기, 김현수(충남대)
• Flexible architecture for pervasive computing with wearable device – 이동주, 민상윤(KAIST)
• 스마트폰을 이용하여 마이컴의 펌웨어를 업데이트하는 시스템 아키텍처 설계 [산업체논문] – 김강현, 강성원(KAIST), 김진규(ADD)
• 휴먼요인의 xSHEL 모델 기반 항공교통관제 훈련을 위한 애니메이션 콘텐츠 개발방법 [산업체논문] – 이경환(중앙대), 정현규(이투 OPS)

결함 분석 및 예측(1, 2)

• 소프트웨어 클러스터링 단위 학습을 이용한 결함 예측 – 강민수, 안재엽, 이찬근(중앙대)
  소스파일 주제 기반 잠재결함 오탐 분석 기법 [단편논문] – 이정빈, 이택, 인호(고려대)
• 오픈 소스 개발을 위한 소프트웨어 개발 이력 기반 결함 위치 식별방법 연구 [단편논문]  -김수현, 김정호, 이은석(성균관대)
• 프로그래밍 과정 복잡도 메트릭 설계 [단편논문] – 이택, 이정빈, 인호(고려대)
• 소프트웨어 프로젝트 위험 요소 예측 모델 [박사학위논문] – 전창균, 김능회, 인호(고려대)
• 사용자-정의 목적함수 지원을 위한 Bunch 툴의 확장 – 김준석, 이기성, 황현, 이찬근(중앙대)
• 참 모듈-뷰와 훈련데이터가 존재하는 소프트웨어를 이용한 결함경향성 예측 모델 [학부생논문] – 허민재, 이찬근(중앙대)
• 객체 지향 메트릭 간의 관계 및 버전 별 변화 분석 [학부생논문] – 이영우, 채흥석(부산대

테스트 자동화(1, 2)

• 평탄화를 이용한 모델 기반 테스트 케이스 생성 도구 [단편논문] – 최현재, 채흥석(부산대)
  이벤트 기반 임베디드 소프트웨어를 위한 자동화 테스팅 기법: LG전자 오븐 제어 소프트웨어 사례 연구 [우수단편논문] – 박용배, 홍신, 김문주(KAIST), 조준희, 이동주, 장훈(LG전자)
• Hybrid Approach for Improving Test Case Specification and Generation Efficiency [우수산업체논문] – 장정록(삼성전자), 민상윤(KAIST)
• Node.js 기반 애플리케이션 서버에서 단위 테스팅 사례 연구 [학부생논문] – BAT ERDENE KHUVIZAYA(전북대)
• Prioritizing Factors Affecting the Usability of Android-based Applications [단편논문] – Ludwing Chiri Najaya, 유철중(전북대)
• 안드로이드 어플리케이션 개발에서 퍼미션 분석을 사용한 테스트 케이스의 다양한 테스트 환경 조건 생성 기법 [우수논문] – 송광식, 한아림, 정세훈, 차성덕(고려대)
• 안드로이드 애플리케이션을 위한 GUI 테스팅 기법의 비교 연구 [단편논문] – 조은지, 최은만(동국대)
• 보안 취약점 기반의 보안 테스트 스위트 생성 기법 [단편논문] – 최보윤, 이병걸(서울여대)

정적 분석

• 사물인터넷 플로우 모델의 신뢰성 향상을 위한 데이터 플로우 분석 방법 – 윤영동, 채흥석(부산대)
• 테스트 케이스를 이용한 사이클 테이블 기반의 최악 실행 시간의 분석 – 서용진, 김현수(충남대)
• 차량전장용 소프트웨어의 시스템 서비스 호출 검증을 위한 실시간 개발 보조 도구 [최우수단편논문] – 김동우, 변태준, 박민규, 최윤자(경북대)
• 강건한 안드로이드 앱을 위한 실행시간 인텐트 스펙 검사 방법 [단편논문] – 고명필(연세대), 최광훈(연세대), 창병모(숙명여대)

이슈 및 결함 관리

• 이슈 리포트 군집화를 통한 이슈 정정 시간 예측 – 진광희, 권기문, 이병정(서울시립대)
  Improving Resolution Time on JIRA System with Ontology – 안상준, 이윤준(KAIST)
  코드리뷰 코멘트 분석을 통한 개발자 프로젝트 적응패턴 식별 [단편논문] – 김민관, 이택, 인호(고려대)
  무인항공체계 소프트웨어 결함 원인분석을 통한 소프트웨어 프로세스 개선 방안 [단편논문] – 김영택(ADD), 박지훈(KAIST), 전영미(ADD), 백종문(KAIST), 배두환(KAIST)

SW공학 교육 및 무기체계 SW

• 소프트웨어공학 중심교육: 아주대학교 SW특성화대학원 – 박신혜, 이주민, 이석원(아주대), 전원석, 박성연(정보통신산업진흥원)
• DO-178 인증을 위한 V모델 기반의 인증 프로세스 적용 방안에 대한 고찰 [산업체논문] – 정수영, 김영곤(휴원)
• 무기체계 소프트웨어의 시험 자동화 인프라 구축 사례 [산업체논문] – 김명호, 이주현(LIG Nex1)

자가 적응 SW 기술(1, 2)

• 모델-검증을 사용한 자가-적응 소프트웨어 검증 기법 [단편논문] – 이의종, 백두권(고려대)
• 안드로이드 플랫폼 기반의 IT 생태계 자가 적응 프레임워크의 무인삼림관리 시스템 적용사례 [단편논문] – 고동휘, 박수진(서강대)
• 적응 지연 시간을 고려한 선행적 자가적응 시스템 [단편논문] – 정호현, 김미수, 이은석(성균관대)
• 자가적응형 소프트웨어의 문제인지를 위한 학습 기반 적응 시점 판단 기법 [단편논문] – 설광수, 백두권(고려대)
• GUI 자가 적응을 위한 모바일 어플리케이션의 사용성 저해요소 자동 검출 기법 [우수단편논문] – 마경욱, 박수진(서강대)
  IoT 디바이스를 위한 REST 통신에서의 인증 기법 연구 [단편논문] – 정종욱, 인호(고려대)
• IoT 환경에서 시나리오 및 자가적응 분산패턴기반 서비스 구조 도출 방법론 [단편논문] – 박현주, 이석원(아주대)
• 스마트 홈에서의 변화하는 거주자 행동 패턴 탐지와 적응을 위한 모델링 방법론 [단편논문] – 이규행, 이석원(아주대)

명세 및 검증

• 1차 추론 기법을 사용한 대화형 웹서비스 API 명세 생성 및 활용 – 권정현, 고인영(KAIST)
• 반응형 시스템 개발을 위한 안전-뷰키 게임의 구현 및 비교 [우수논문] – 권혁, 권기현(경기대)
• 차량 전장용 운영체제 대상 코드기반 모델검증 적용가능성 사례 연구 [우수단편논문] – 박민규, 최윤자(경북대)
• SCXML Modeling and Simulation (M&S) based on Stochastic based State Diagram [단편논문] – 문소영(홍익대), 박용범(단국대), 김영철(홍익대)

요구 분석

• 자가 적응 소프트웨어 개념 기반 모바일 적응형 사용자 인터페이스 요구사항 도출 방법 [우수단편논문] – 박기범, 이석원(아주대)
• 자가적응 과정에서의 의사 결정을 지원하기 위한 요구 사항 주도 게임 이론적 접근법 [단편논문] – 이관홍, 이석원(아주대)
• 요구사항으로부터 유스케이스 추출 및 우선순위화 방안 [단편논문] – 박보경, 권하은, 강건희, 양효석, 황준순(홍익대), 이근상(전북테크노파크), 김영철(홍익대)
• 임베디드 시스템에서의 효율적 유스케이스 모델링을 위한 가이드라인 [산업체논문] – 엄혜원(LG전자), 민상윤(KAIST)

제16회 한국 소프트웨어공학 학술대회 논문집 다운로드 (KCSE 2014)

튜토리얼

• 시큐어코딩의 원리와 실제 – 안준선 교수(항공대)
• ISO26262 자동차SW 기능안전 요구사항 – 조진희 팀장(ETRI)
• Social Data Analysis – 서봉원 교수(서울대)
• 정적분석의 원리 – 서동수 교수(성신여대)
• IMA지원 실시간 운영체제 Qplus-AIR의 DO-178B Level A 인증경험 – 김태호 팀장(ETRI)
• Software and Supply Chain Relationship – 한근희 교수(고려대)

SW검증 및 시뮬레이션

• HyTech를 이용한 ECML 모델의 검증 및 분석- 윤상현(건국대), 조재연(한양대), 전인걸(ETRI), 유준범(건국대)
• 에이전트 기반의 시뮬레이션을 통한 LTL 분산 명세의 확인[단편논문] – 권령규, 권혁, 권기현(경기대)
• 의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석 – 임유진, 신동환, 지은경, 박지훈, 배두환(KAIST)
• 전술 네트워크 환경에서 동적 그래프 클러스터링 방법을 이용한 서비스 자원 할당 방법[최우수논문] – 김민협,고인영(KAIST),이춘우(삼성탈레스)

알고리즘

• 한국어 단어 의미 모호성 해결을 위한 윈도우 크기 [단편논문] – 정영섭, 최기선, 최호진(KAIST)
• 문장 내 연관관계 분석을 통한 패러프레이징 문장 검증[단편논문] – 진소영, 문성원, 권가진, 최호진(KAIST)
• JADE 를 이용한 합성된 오토마타의 시뮬레이션 적용 사례[단편논문] – 권혁, 권령구, 김진국, 안중환, 김우빈, 권기현(경기대)
• 대량(파생) 모델 소프트웨어의 효과적 개발을 위한 소스코드 Branch전략과 이에 대한 회고적 연구[단편논문] – 김태욱, 이동주, 신호승, 민상윤(KAIST)

관리 및 프로세스 (1, 2)

• 파일 오너십에 따른 코드 품질 수준에 대한 사례 연구 – 한승범(고영테크놀러지), 이선아, 강성원(KAIST)
• 논리적 커플링 분석을 위한 진화적 의존성 네트워크 시각화와 모듈성 측정 – 김정민, 이기성, 김영민, Moshin Shaikh, 이찬근(중앙대)
• CompPressor: 컴포넌트 조합 모델의 합성 및 가시화 지원도구[우수단편논문] – 박민규, 최윤자(경북대)
• 모바일 애플리케이션의 적응화 프로세스[단편논문] – 윤성혜, 이채영, 박수진(서강대)
• 실무 요구사항을 고려한 소프트웨어 프로젝트 계획 생성 지원 기법 및 도구[우수논문] – 박지훈, 신동환, 홍광의, 서동원, 화지민, 배기곤, 서영석, 배두환(KAIST)
• 인문학적 관점에서 본 소프트웨어 개발 (동∙서양 비교 문화 및 문화 심리학적 관점을 중심으로)  – 조대성, 엄익채, 임태영, 안상준, 민상윤(KAIST)
• 국내•외 보안강화 개발체계의 비교를 통한 개발보안가이드 특징분석 – 이혜리, 서동수(성신여대)
• BPMN 2.0을 이용한 소프트웨어 프로세스 모델링 [단편논문] – 이한나, 김두한, 성철제, 이형원 (강릉원주대)

품질 및 메트릭 (1, 2, 3)

• 소프트웨어 모듈성을 정량적으로 측정하는 방법[우수논문] – 정필수, 안종선, 박태현, 강성원(KAIST), 은나래, 고상원(LG 전자)
• 서비스 기반 멀티 에이전트 시스템의 신뢰성 평가 기법 연구 – 이광규, 양준석, 최옥주, 백종문(KAIST)
• 협업 필터링 기반 추천 시스템의 메타 아키텍처 분석 및 사례 연구를 통한 추천 컴포넌트 선택 방법 – 김은애, 고한규, 고인영(KAIST)
• 이해 용이성을 고려한 상태 기계 자동 생성 방법 [박사학위논문] – 배정호, 채흥석(부산대)
• 스펙트럼 기반의 결함 위치 식별 기법의 실험적 비교 – 김정호, 이은석(성균관대)
• 심볼릭 라이브러리를 이용한 효과적인 Concolic 테스팅[우수단편논문] – 박용배, 김윤호(KAIST), 조준희(LG 전자), 김문주(KAIST)
• AOP를 이용한 웹 애플리케이션 보안취약점 해결 방안 – 김진모, 최은만(동국대)
• ISO 25000과 ISO 29119를 활용한 임베디드 소프트웨어 시험 평가 방법에 관한 연구[단편논문] – 노경현, 이금석(동국대), 이민재(티큐엠에스)
• 전술 네트워크 환경에서 서비스 접근의 신뢰성 및 효율성 향상을 위한 방법 비교 및 분석 – 조현준, 고인영(KAIST)
• 변형 프로그램의 동적 정보에 기반한 자동 결함 위치추정 [최우수단편논문] – 문석현, 김문주(KAIST)
• 안드로이드 애플리케이션 이식성 평가 메트릭 설계 방안 [우수단편논문] – 박두호(건국대), 신원(나스텍), 장천현(건국대)
• 기하평균과 절삭평균을 결합한 원거리 노드의 신뢰도 측정 연구[단편논문] – 김영웅, 전웅렬, 최윤성, 원동호(성균관대)
• IT 생태계의 동적 변경 프레임워크[우수단편논문] – 고덕윤, 박수진(서강대)

SW 모델 설계 (1, 2)

• 변수 개수 최소화를 통한 소프트웨어 모델 체킹 성능향상 연구 – 이낙원, 박진희, 백종문(KAIST)
• Active Device Pool 기반의 IoT 디바이스 동적 연결 기법[최우수논문] – 박춘우, 양신형, 라현정, 김수동(숭실대)
• 에너지 효율적인 모바일 컨텍스트 모니터링 기법 설계[우수논문] – 김문권, 이재유, 김수동(숭실대)
• 시뮬레이션 모델의 검증 지원을 위한 개선된 유한 실시간 이산 사건 시스템 명세[단편논문] –  윤지현, 박송이, 김단희, 이해영(서울여대)
• 이종 스마트폰 UI의 모델변환을 위한 메타모델 설계 – 손현승(홍익대), 김우열(대구교대), 김영철(홍익대)
• 소프트웨어 개발 조직의 지식 공유를 위한 지식관리 시스템 및 메타데이터 모델에 대한 연구 – 고하윤, 백원길, 이지훈, 민상윤(KAIST)
• A Comparison of Model-Based Software Development Approaches – Aman jaffari, Mesfin Abebe Haile, 유철중, 신정훈(전북대)
• Fillmore’s Case 메커니즘 이용한 요구사항 분석:유스 케이스 모델링 방법 [단편논문] – 김보연, 양효석, 손현승, 박병호(홍익대), 박용범(단국대), 김영철(홍익대)

산업체 기술소개 (1, 2)

• 시스템 엔지니어링 프로세스 설계를 통한 요구사항 분석[산업체논문] – 박희성, 이재원, 고원일, 김인태(KAERI)
• 연구개발 정책 데이터의 네트워크 모델링과 분석 [산업체논문] – 전승수(KISTEP)
• 만성질환 환자 관리를 위한 안드로이드 OS기반의 모바일 헬스 게이트웨이 개발[산업체논문] – 윤수미, 장국진, 이민호, 이국녕(KITI)
• 오픈 통계 소프트웨어를 활용한 예측서비스 개발사례[산업체논문] – 이해동, 리송, 문애경(ETRI)
• 실시간 LVC 연동을 위한 통신 미들웨어 프레임워크의 시험환경 구축 방안 [산업체논문] – 이태호, 백옥현, 김도형, 이상진(ADD), 허태우, 노승일, 우유원, 임현묵(심네트)
• 표본조사를 통한 소프트웨어 개발사업의 기능점수 간소화 방안에 관한 연구[산업체 우수논문] – 김병욱, 이민재(티큐엠에스)
• 스마트노드 플랫폼(SNP) : 컴퓨팅 및 네트워크 자원을 통합 관리하는 클라우드 서비스 엣지 플랫폼[산업체논문] – 강동재, 김진미, 이범철, 정선진(ETRI)
• NTIS 웹진 컨텐츠 검색을 위한 색인방안 연구[산업체논문] – 한희준, 김윤정, 최희석(KISTI)
• DDS 기반 통합 체계모의 환경(AddSIM-DDS) 개발 방안 연구[산업체논문] – 김도형, 이태호, 박삼준 (ADD), 배현식, 허태우(심네트)

융합 SW (1, 2)

• 토픽 모델과 소셜 네트워크를 이용한 개발자 추천방법[최우수논문] – 양근석, 장도, 이병정(서울시립대)
• 모바일 상황인지 어플리케이션의 전력 소비 분석 – 김덕기, 최용훈, 이정원(아주대)
• 감정적 요구사항을 고려한 영화추천 시스템[단편논문] – 김옥섭, 이석원(아주대)
• OpenCL기반 GPU를 이용한 Strongly Connected Component 검색 시스템의 설계 및 구현[단편논문] – 송상근, 신정훈, 동성, 김에스더, 이상준(숭실대)
• 퍼지로직을 이용한 자가적응형 네비게이션 시스템 – 김미수, 정호현, 정재훈, 이은석(성균관대)
• FBDEditor: 원자력 계측제어 시스템 개발을 위한 FBD 설계 프로그램[단편논문] – 이동아, 김의섭, 서영주, 유준범(건국대)
• 스마트 그리드 환경에서 사용자 만족도 향상을 위한 요구사항 기반의 스마트 홈 프레임워크[단편논문] – 김대웅, 이석원(아주대)
• 스마트 홈 시스템을 위한 온톨로지 기반 사용자 맞춤형 HTN Planning[단편논문] – 서창원, 이석원(아주대)

SW 개발도구 활용

• 스마트 카드를 이용한 효율적인 원격 사용자 인증 스킴의 취약점 분석 및 개선 – 김영길, 최윤성, 원동호(성균관대)
• 제품라인 공학을 위한 휘처 기반의 제품 구성 방법[우수논문] –  배성진, 강교철(포항공대)
• Knowledge Visualization을 통한 코드리뷰 효율성 증대 – 장정록, 엄혜원, 황수환, 민상윤(KAIST)
• 차량용 소프트웨어 품질 향상을 위한 공개 소프트웨어 기반의 공학 도구 활용[단편논문] – 이무원(아주대), 노경현, 이민재(티큐엠에스), 문지현(오비고)
• 마인드 맵을 확장한 요구사항 명세 및 분석 도구 제안 [단편논문] – Hua Jiang, 이욱진(한양대)

SW 아키텍처

• SaaS 환경에서 SLA 보장을 위한 명세 및 교환방법[우수논문] – 남태우, 강태준, 장문수, 안영민, 염근혁(부산대)
• 메소드의 매개변수 리스트의 간소화를 위한 리팩토링 방안[우수논문] 0 함동화, 이준하, 이일로, 박수진, 박수용(서강대)
• Fillmore의 메카니즘을 이용한 개선된 Goal 지향 유스케이스 추출방법[단편논문] – 박보경,권하은,강건희,박보경, 권하은, 강건희, 황준순, 문소영, 김영철(홍익대)
• 제약명세기반 전장용 운영체제 테스트 시퀀스 자동생성도구[단편논문] – 변태준, 최윤자(경북대)

SW 리뷰와 테스팅

• 복합 의존성을 이용한 God Class 탐지 – 안재엽, 강민수, 엄재철, 김영민, 이찬근 (중앙대)
• 한국형 국방 임무과업을 위한 개념모델 프레임워크의 개발[단편논문] – 천세진, 정주익, 신상진, 고지훈, 최정우, 송민재, 황윤지, 이경호, 이영훈(연세대)
• 뮤테이션 테스트를 적용한 BPEL 기반 제어흐름 테스트 프레임워크 – 박진수, 박재진, 홍장의(충북대)
• 온라인 게임을 위한 행동 패턴 기반 게임봇 검출법 – 김주영, 이헌주(ETRI)

SW 정책

• 가중치 페이지랭크를 사용한 관점 마이닝[단편논문] – 김시창, 이기성, 김밀한, 이찬근(중앙대)
• 국방 R&D 현황조사를 통한 SW 기술조사 개선방안 연구[산업체논문] – 김효성(국방기술품질원)
• 국방 지휘통제체계 기술수준 및 중장기 발전 로드맵 연구[산업체논문] – 이호균, 박경진, 임종춘 (국방기술품질원)
• 효과적인 테스트 관리를 위한 테스트 환경 구축 사례 연구[산업체논문] – 김상기, 김명호, 이종순(LIG 넥스원)

SW 공학과 보안

• 빅데이터 서비스 조합 프레임워크 – 최경석, 옥철민, 박준석, 염근혁(부산대)
• 효과적인 접근제어 정책의 생성을 위한 XACML 정책 뷰어[단편논문] – 최재호, 이욱진(한양대)
• 보안 취약점을 고려한 애자일 방법과 AOP를 이용한 취약점 개선 방안 [단편논문] – 송병섭, 최은만(동국대)
• 난수를 이용한 RFID 인증 프로토콜(APSR)의 취약점 분석 및 개선방안 [단편논문] – 최영성,이동훈, 김지예, 전웅렬, 원동호 (성균관대)

SW응용

• 보안 카메라를 이용한 반려동물 분포도 및 행동분석 – 서영철, 이병수(인천대)
• 모바일 소프트웨어 에코시스템(MSECO)의 마켓을 위한 단말 중심 어플리케이션 필터링 방법[단편논문] – 이희진,  강성원(KAIST)
• 웹 기반의 맞춤형 역병 관리 시스템 [단편논문] – 김윤환, 안준현, 유성준, 구영현, 임진희(세종대)
• D2D 기반 콘텐츠 전송을 위한 서비스 에이전트 설계 – 백두산, 이정원(아주대)