제 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 기반 콘텐츠 전송을 위한 서비스 에이전트 설계 – 백두산, 이정원(아주대)

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

튜토리얼

  • Architecture for Cloud, Ucloud for Architecture – 송순용 팀장(KT)
  • Ucloud 서비스 및 Academy Program 소개 – 이현주 팀장(KT)
  • 소프트웨어 아키텍처 설계의 근본원리들 – 강성원 교수(KAIST)
  • Combinatorial Test Design and Its Applications – 윤일철 교수(SUNY Korea)
  • 클라우드 기반의 스마트워크 (A journey to the Smart Working Era on the Cloud) – 신창현 팀장(LGCNS)
  • 소프트웨어 공학 교육 – 실무적 접근법 – 최은만 교수(동국대)
  • Towards Dependable and Secure Software: Requirements Engineering Approach – 이석원 교수(아주대)

SW 응용

  • 메시지 변환을 위한 메시지 필드 매핑 관계 식별 자동화 방법 – 김진규 (KAIST)
  • 사이버-물리 시스템의 ECML을 위한 시뮬링크 XMI 변환기 개발 – 손현승(홍익대),김우열(대구교육대), 전인걸, 전재호(ETRI),김영철(홍익대)
  • 연구영역에서 결합단어에서 전문용어 검출 및 구속력강한 단어특성 분석에 관한 연구 – 정영섭, 임채균, 김승석, 최호진(KAIST)
  • UAV 중계기반 MANET의 야전운용성능 최적화 모델개발 – [산업체논문] 박영규, 김세일(국방기술품질원)
  • 스마트 TV 용 고속 IO 기법 – [단편논문] 정창훈, 황태호, 김규일, 원유집(한양대)

관리 및 프로세스 1

  • CMMI의 GP와 SP간 연관성에 관한 실증적연구 – [박사논문] 이민재(숭실대)
  • 소프트웨어 프로젝트 계획에서의 구체적 실무이슈를 반영한 자동화된 인력할당기법 – [최우수논문] 화지민, 박지훈, 신동환, 홍광의, 서영석, 배기곤, 배두환(KAIST)
  • SW공학수준, 조직변화인식과 프로젝트성과 – [산업체논문] 김승권(NIPA SW공학센터)
  • SI개발 프로젝트에 적용된 품질관리체계 – [산업체논문] 박종모, 이재덕(NIPA SW공학센터)

SW 품질 및 테스트 1

  • A Bug Triage and Localization Technique based on Bug Reports Classification – [박사논문] Tao Zhang, 이병정(서울시립대)
  • 단위 테스트 케이스 재사용 기반의 함수 상호작용 테스팅 기법 – [박사논문] 신영술, 이우진(경북대)
  • 웹 기반의 개인정보 유.노출 대응 시스템구축 방안: 이미지파일 대상으로 – [산업체논문] 김종배(서울디지털대)
  • 동적 슬라이싱과 정보검색을 이용한 서비스 컴포지션의 테스트케이스 우선순위기법 – [단편논문] 권정현, 고인영, Matt Staats, Gregg Rothermel(KAIST)

적응형 SW 1

  • 모바일 상황인식 서비스의 추론 결과 적응을 위한 피드백 프로세스 – 신수혜, 강태준, 최경석, 안영민, 박준석, 염근혁(부산대)
  • A Method for Semantically Distributing Information Across Multiple Displays – 김재정(KAIST IT융합연구소)
  • Hadoop 상에서 MapReduce 응용프로그램 평가 – [우수단편논문] 김준수(단국대), 강윤희(백석대), 박용범(단국대)
  • 자가적응시스템을 위한 집단지성 온톨로지 – [단편논문] 서영덕, 김정동, 인호, 백두권(고려대)
  • 자율컴퓨팅 환경에서 지식관리 및 공유를 위한 온톨로지 레지스트리 모델 – [단편논문] 이석훈(고려대), 정동원(군산대),백두권(고려대)
  • 게시자 동영상 광고삽입시스템 – [단편논문] 김정혁, 배선봉, 강상길(인하대)

모델 및 정형기법

  • 정형 기법을 이용한 테스트 오라클 생성 – 권령구, 권기현(경기대)
  • 프로젝트의 고신뢰성 확보를 위한 정형 기법 가이드라인 – 박사천, 김태호, 임채덕(ETRI)
  • Development of Decommissioning Engineering System – [산업체논문] 박승국, 문제권(KAERI)

관리 및 프로세스 2

  • 국내기업 적용사례 연구에 기반한 애자일 SW 개발 101 – [산업체논문] 이세영(NIPA SW공학센터)
  • 프로그래머 행위 메트릭스(PBM) – 김민호, 민상윤(KAIST), 민현기(SK C&C)
  • 소프트웨어 개발에서 심리학의 중요성 – [우수산업체논문] 소정연(삼성전자/KAIST), 최창진(팅크웨어/KAIST), 한승범(고영테크놀러지/KAIST), 민상윤(솔루션링크/KAIST)

SW 품질 및 테스트 2

  • 무기체계 내장형 소프트웨어의 시험 성과 지표 선정 및 적용 방안에 대한 연구 – [산업체논문] 김상기(LIG넥스원)
  • 무기체계 SW 품질측정 방안 연구 – [산업체논문] 김세일, 김효성(국방기술품질원)
  • 무기체계의 안전중심 소프트웨어를 위한 포괄적 프로세스 프레임워크 제안 – [산업체논문] 김명호(LIG넥스원)

모바일 SW

  • 동적 모바일 에코시스템의 품질관리를 위한 프레임워크 – [박사논문] 오상헌, 김수동(숭실대)
  • MVC패턴기반의 모바일 애플리케이션 모델 – 서용진, 김현수(충남대)
  • 안드로이드 인텐트 메커니즘의 확장을 통한 동적 코드 재사용 – [단편논문] 안수정, 김병호, 김진천(경성대)

World Best Software 달성을 위한 SW공학기술 적용

  • WBS프로젝트에서의 고품질 SW달성을 위한 테스트 정책 및 전략 – 정도균 책임(NIPA SW공학센터)
  • 의료프레임워크 WBS과제의 테스트 품질 개선 사례 – 제갈한철 과장(이지케어텍)
  • SW공학프로세스 적용을 위한 도구 도입 및 내재화 사례 – 한혁 소장(리얼타임테크)
  • CI시스템의 SW 지표 트랜드 분석을 통한 안정적 SW품질관리 사례 소개 – 이종호 상무(인지소프트)

요구공학 1

  • 사용자 의견에서 요구사항을 추출하기 위한 프로세스 및 기법 – [박사논문] 변정원(숭실대)
  • 유즈케이스 시나리오에서 유즈케이스 패턴을 이용한 요구사항 대체 흐름 추천 기법 – [최우수논문] 김유림, 고덕윤, 박수용(서강대),김진태(소프트웨어공학엑스퍼트그룹)
  • 왜 창의적인 요구사항이 나오지 않을까? – [산업체논문] 김종욱(삼성전자)
  • 유스케이스기반의 사용중심 요구사항 명세 – [단편논문] 김정민, 한혁수(상명대)

SW 품질 및 테스트 3

  • 자바스크립트 기반 실제 웹 어플리케이션의 오류 조사 안재민, 김문주(KAIST)
  • TMMi 기반의 무기체계 소프트웨어 단위시험 수행 사례 발표 – [산업체논문] 이주현, 이혜진, 최상택(LIG넥스원)
  • 테스트케이스의 결함실행확률을 이용한 향상된 결함 위치추정(fault localization) 기법 – [단편논문] 문석현, 김윤호, 김문주(KAIST)
  • 상태-전이 다이어그램에서 블랙박스 퍼징을 적용한 비유효 테스트케이스 도출 연구 – [단편논문] 최수경, 박용범(단국대)

서비스

  • 서비스 기반 어플리케이션을 위한 정적 및 동적 적응 프레임워크 – [박사논문] 라현정, 김수동(숭실대)
  • 유비쿼터스 컴퓨팅을 위한 온톨로지 기반 서비스 모델링 및 합성 기법 – [박사논문] 이미연, 이정원(아주대),박승수(이화여대)
  • 임무 상황 중심의 동적 서비스 조합 프레임워크 신상복, 구형민, 고인영(KAIST)

SW Visualization 및 중소 SW 기업현장 적용

  • SW Visualization 필요성 및 구성 – 송원민(NIPA SW공학센터)
  • 패키지 개발방법론 및 표준 테스트 프로세스 도입을 통한 품질개선 – 김수영 상무(㈜맨텍)
  • 의료기기(고신뢰) SW개발 프로세스 플랫폼 구축 김완경 팀장(케이맥㈜)
  • Firmware에 적용하는 SW공학기술(Daily Build + 형상관리) 한문호 수석(아남전자)

산업체 기술 소개

  • 소프트웨어 개발 프로세스와 IBM Rational 제품의 적용 민현석 부장(다한테크)
  • 단일 아키텍처 기반의 소프트웨어 라이프사이클 관리 오윤민 이사(이에스지)
  • 상위1%교육, 비트스쿨 소개 – 이호경 본부장(비트컴퓨터)
  • TMMi개요 및 공식심사 사례(LIG넥스원) – 윤진우 수석(STA 테스팅컨설팅)
  • ITscope : IT 프로젝트에 특화된 소프트웨어 공학적 관리 및 내제화 도구 – 산업체 사례 중심 김무중 이사(솔루션링크)

SW 품질 및 테스트 4

  • 클라우드 서비스의 뮤테이션 테스팅을 위한 BPEL 뮤턴트 생성 규칙 – [최우수논문] 박진수, 홍장의(충북대)
  • 서비스 지향 아키텍처에서의 신뢰성 평가 연구 비교 박진희, 백종문(KAIST)
  • 효율적인 안드로이드 애플리케이션 테스트를 위한 테스트케이스 설계 방안 – [최우수단편논문] 신원, 오철, 박두호(건국대),김태완(명지대), 장천현(건국대)
  • 클라우드 컴퓨팅 환경에 적합한 통합 접근제어 모델 제안 – [단편논문] 김재진, Scott Uk-Jin Lee,Amna Al Dhaheri(한양대)

임베디드 SW

  • 이종 모바일 임베디드 플랫폼을 위한 모델 변환 프레임워크 연구 – [박사논문] 김우열(대구교육대), 김영철(홍익대)
  • 무기체계 소프트웨어 개발 및 관리 지침 적용 사례: 기동무기 내장형 실시간 제어 시스템용 RTOS 기술 개발 – [산업체논문] 마유승, 우덕균, 마평수(ETRI)
  • 실시간 임베디드 시스템에서 프로세서 주파수 의존 코드 비율을 고려한 최소 에너지 소모 주파수 결정 방법 – [단편논문] 김영민, 이찬근(중앙대)
  • CPS환경을 고려한 지능형 홈 네트워크 시스템 개발 방법 – [단편논문] 박창규, 이정원(아주대)

Cyber-Physical Systems

  • 대규모 CPS 연동제어를 위한 통신 미들웨어 기술 소개 김원태 박사(ETRI)
  • Software-based Fault Detection and Recovery for Cyber-Physical Systems – 유민수 교수(한양대)
  • 스마트하이웨이 IT융합기술 소개 – 박재형 전무(메타빌더)

요구공학 2

  • 사용자 Needs 기반의 요구공학 연구 – 박보경(홍익대), 김기두(TTA), 김영철, 박병호(홍익대)
  • 모바일과 Social Network Service(SNS)기술에 기반한 협업적 요구사항 관리 방법 – [산업체논문] 김문수(삼성전자/KAIST),윤상철(VMS Solutions/KAIST),김종욱(삼성전자/KAIST), 정은화(LG전자/KAIST), 민상윤(솔루션링크/KAIST)
  • A사의 스마트폰을 위한 소프트웨어 요구사항 프로세스 개선 – [산업체논문] 차영태, 이수진, 임정묵(LG전자/KAIST)
  • AOP를 이용한 ISO/IEC 9126 비기능 요구사항 라이브러리 – [단편논문] 최희성, 최은만(동국대)

SW 품질 및 테스트 5

  • 소프트웨어 안전성 향상을 위한 코드 리팩토링 기법 박재진, 김두환, 홍장의(충북대)
  • 리팩토링을 위한 성능 기반의 무브 메소드 영역 추출 및 분석 연구 – 권예진(단국대), 이준하(서강대), 박용범(단국대)
  • 번역기, 코드 생성기 및 컴파일러를 위한 검증기법 조사 – 김의섭, 이동아, 유준범(건국대)
  • 시큐리티 패턴을 적용한 설계 리팩토링 방안 – [단편논문] 송병섭, 최은만(동국대)

온톨로지

  • 행위 온톨로지: 보안을 위한 공격 패턴 감지 프레임웍 온진호, 우수정, 이문근(전북대)
  • 토픽 모델링을 위한 시뮬레이터 도구개발 – 정영섭, 임채균, 최호진(KAIST)
  • 온톨로지 클래스 상관관계 분석을 통한 상위 온톨로지 추출 기법 – 이인환, 남태우, 류자치, 염근혁(부산대)
  • 디바이스 협업 환경에서 상황 인지를 위한 온톨로지 추론 기법 – [단편논문] 설광수, 김정동, 인호, 백두권(고려대)

SW 아키텍처

  • 유비쿼터스 환경에서 저온저장고를 지원하기 위한 스마트 저온저장고 관리시스템 – 백선재, 박준석, 남태우, 최경석, 염근혁(부산대)
  • 통합개발 환경 기반의 UML 2.0 모델링 도구의 변화 – [산업체논문] 정연대, 임진수(N3Soft)
  • 분기점 기반 트리 분석을 통한 소프트웨어 클러스터링 결과 비교 – [우수단편논문] 엄재철, 이찬근(중앙대)
  • 커뮤니티 검출기법을 이용한 소프트웨어 아키텍쳐 모듈 뷰 복원 – [우수단편논문] 김정민, 이찬근(중앙대)

SW 재사용 및 SPLE

  • 개발자 포럼에서 경험 재사용을 위한 토픽 흐름 비교 방법 – 이원조, 오교중, 최호진(KAIST)
  • 소프트웨어 제품 라인에서 형상관리의 현실적인 이슈와 발전 방향 – [산업체논문] 임준학(삼성전자/KAIST),김은영, 강동인(LG전자/KAIST)
  • OSGi 프레임워크에 기댄 제품라인 소프트웨어 개발 적용 – [단편논문] 양진석, 강교철(포항공대)
  • 소프트웨어 제품라인 역공학 지원도구 – [단편논문] 림청, 빈타오, 양진석,이혜선, 강교철(포항공대)
  • 지능형 수출통제시스템의 프레임워크 설계 – [단편논문] 김산성, 김의현, 성우철, 이문용(KAIST), 신동훈(한국원자력통제기술원)

SW 품질 및 테스트 6

  • 관점지향 프로그래밍의 관점 간섭 문제 개선 기법 김은선, 이병정(서울시립대)
  • Specification By Example 과 키워드기반 테스트 자동화를 활용한 애자일 테스팅 – [산업체논문] 오정인, 김승아, 황정우(NTS)
  • 사용자 생성 불변식을 활용한 웹 어플리케이션 테스트 품질 향상 방안 – [단편논문] 박규철, Matt Staats, 고인영,Gregg Rothermel(KAIST)
  • 역공학을 위한 호출 트리 통합 기법 – [단편논문] 민성현, 윤성혜, 박수진(서강대)

적응형 SW 2

  • 사물 인터넷 디바이스 제어 및 컨텍스트 추론을 위한 프레임워크 – [박사논문] 천두완, 김수동(숭실대)
  • 비정상적 이벤트를 방지를 위한 예방 자가-적응 시스템 – 이의종, 김정동, 인호, 백두권(고려대)
  • 적응적 매핑정보 캐싱을 통한 대용량 플래시 메모리 저장장치 – [단편논문] 정상혁(한양대),김지은, 김서연(현대고), 김희정, 송용호(한양대)
  • 센서 네트워크에서의 자가 재구성 미들웨어 모델 – [단편논문] 정현준, 이석훈, 백두권(고려대)

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

SW 개발방법론

  • Agile 방법론에 대한 동양 문화 관점에서의 고찰 – 김민호, 조성범, 서승현, 이창호, 민상윤 (KAIST)
  • XML 기반 신뢰성있는 관점 지향 기법 (우수논문) – 김은선, 이병정, 이재호 (서울시립대학교)
  • 파라매트릭 소프트웨어 매트릭스 기반의 LOC 정의 (short) – 신원, 장천현 (건국대학교)
  • 글로벌 소프트웨어 개발 방법 적용 사례 연구: A-SQUARE 프로젝트 (산업체논문) – 박태현, 강성원 (KAIST)

시멘틱웹

  • 모바일 상황 인식 서비스 환경에서 향상된 추론 결과를 획득하기 위한 온톨로지 모델 선택 기법 (우수발표논문) – 권오현, 박준석, 염근혁 (부산대학교)
  • 온톨로지 재사용을 위한 온톨로지 저장소와 SWRL 구성 도구의 구현 및 적용 – 이인환, 남태우, 류쟈치, 염근혁 (부산대학교)
  • OWL Ontologies를 이용한 XML Schema 파일 관리 (short) – 박은해, 김정선 (한양대학교 컴퓨터공학과)
  • 감정 분석을 이용한 동적 기능 제공 프레임워크: 모바일 기기 기반 (short) – 황정우, 이윤규, 인호 (고려대학교)

요구 공학

  • Goal 지향 유스케이스 기반의 요구사항 추출에 관한 연구 – 박보경, 문소영, 김동호, 서채연, 김영철 (홍익대학교)
  • A Study on Research Trends in Requirement Engineering (short) – 최수진, 박수용 (서강대학교)
  • UML 기반 결함 트리 자동생성과 런타임 결함식별 – 김준희, 강신욱, 이은석 (성균관대학교)

웹서비스 1

  • 웹 서비스 검색을 위한 비즈니스 프로세스의 핵심 요소 정보 추출 시스템 – 백선재, 남태우, 타오쥔량, 염근혁 (부산대학교)
  • 소프트웨어공학을 위한 웹2.0기술의 응용 사례연구 (우수논문) – 한대희, 구형민, 고인영 (KAIST)
  • 태스크 지향적 서비스 프레임워크에서 템플릿 아키텍처를 고려한 QoS 기반 서비스 조합 방법 (우수발표논문) – 조재현, 최장호, 고한규, 고인영 (KAIST)

컴포넌트 & 아키텍처

  • Secure Visitor 패턴의 재사용성 개선을 통한 효율적인 보안 횡단 관심사 분리 방안: Secure Visitor-Factory 패턴 – 윤성혜, 박수용 (서강대학교)
  • 추출식 소프트웨어 제품라인 공학을 위한 자산 컴포넌트 탐색 및 재공학 방법 (우수논문) – 조성배, 이혜선, 강교철 (POSTECH)
  • HeRA제품공학 사례 연구에 사용된 가변성 표현 방법의 비교: OVDL, OVM, C/V Analysis Table (산업체논문) – 안휘, 강성원, 이지현 (KAIST), 손지연, 박준희 (ETRI)

웹서비스 2

  • 웹 UI회귀 테스트에 대한 테스트 자동화 커버리지 향상 방안 (short) – 최인호, 권원일, 권호열 (강원대학교)
  • 상황 인지 기반의 Web API 매쉬업 추천 (short) – 전현배, 천세진, 신형진, 이경호 (연세대학교)
  • 소셜 네트워크 정보를 활용한 Web API 탐색 (short) – 김경률, 정주익, 이경호 (연세대학교)

SW 프로세스 1

  • SW 개발 환경에서의 암묵지 전달/측정을 위한 지식관리 프로세스에 대한 고찰 – 이성연, 권용찬, 고민석, 정로미, 민상윤 (KAIST)
  • TPI Next와 CMMI의 접목을 통한 효율적 테스트 프로세스 개선 접근 방법론 – 김명호, 배승진, 이충희, 이준형, 민상윤 (KAIST)
  • TMN 관리기능을 이용한 USN 기반 데이터 통합운용관리시스템의 품질평가모델 개발 – 김성회, 권기현 (경기대학교), 한주연 (한국정보통신기술협회 시험인증연구소)

테스팅 1

  • 소프트웨어 역공학을 통한 HeliScope OFP의 테스트 케이스 생성 – 이종훈, 이동아, 유준범, 송승화, 김두현 (건국대학교)
  • Pre-Testing를 위한 M&S 기반 테스트 케이스 추출 연구 (short) – 우수정, 손현승, 김우열, 김재승, 김영철 (홍익대학교)
  • 지능형로봇 테스트를 위한 상태기반 모델링 – 유지동, 김대곤, 장영원, 노혜민, 유철중 (전북대학교)

SW 프로세스 2

  • 모바일 도메인의 피드백 환경 구축을 위한 상호작용 모델링 방법 – 신수혜, 박준석, 염근혁 (부산대학교)
  • 원자력 해체시설 특성관리 시스템을 위한 CBD프로세스의 적용 방안 (short 우수논문) – 조운형, 박승국, 최윤동, 문제권 (한국원자력연구원)
  • 프로젝트의 성공적 수행을 위한 상주감리의 위상 정립 및 향후 발전방향에 관한 연구 (short) – 전재영, 조희준, 권호열 (강원대학교)
  • CMMI 기반의 품질보증 프로세스 개선 지침 모델 개발 (short) – 김정민, 도성룡, 한혁수 (상명대)

테스팅 2

  • 스마트 폰 앱 호환성 테스트를 위한 기존 GUI 테스트 오라클의 한계 – 이정욱, 김태연, 채흥석 (부산대학교)
  • 네트워크 프린터의 신뢰성 테스트를 위한 자동화 소프트웨어 사례 연구 (short) – 한동열, 권원일, 권호열 (강원대학교)
  • A Case Study of the Application of Dynamic Symbolic Execution to Real-World Binary Programs (short) – Duc Bui Hoang, 김윤호, 김문주 (KAIST)
  • 동시성 프로그램 테스트를 위한 구조 커버리지 기법 조사 (short) – 안재민, 홍신, 김문주 (KAIST)

정형기법 & 프로그램 분석기법 1

  • LTL Synthesis를 이용하여 Live Sequence Charts로부터 상태 차트 생성 – 권령구, 권기현 (경기대학교)
  • 기호실행을 통한 자동 생성된 불변식의 검정 (short) – 홍신, 김문주, Matt Staats (KAIST)
  • 파라매트릭 실행시간 분석의 성능 향상을 위한 E-CFG와 부분 경로 결합 방안 (short) – 김윤관(건국대학교), 김태완(명지대학교), 장천현(건국대학교)
  • SOLEIL 프레임웍을 적용한 크루즈 컨트롤의 컴포넌트 모델링 및 검증 (short) – 민승훈, 이기성, 김영민, 김덕환, 주희주, 이찬근 (중앙대학교)

사례 및 산업체 연구 1

  • Inverted Classroom 개념을 도입한 소프트웨어 공학 교육 효과 분석 (우수발표논문) – 최은만, 최윤희, 최희성 (동국대학교)
  • 연관규칙을 적용한 요구사항 분석 (short) – 김성용, 최효연, 박희성, 최영, 김호동 (한국원자력연구원)
  • 우라늄잔류물질 저장관리 전산체계 (short) – 박승국, 최윤동, 조운형, 문제권 (한국원자력연구원)
  • 국방 소프트웨어의 재사용성과 상호운용성 향상을 위한 한국형 임무공간개념모델의 개발 (short) – 이종혁, 강혜란, 배영민, 백장렬, 이경호, 이영훈 (연세대학교)

정형기법 & 프로그램 분석기법 2

  • A Novel Developer Recommendation Method for Bug Fixing – Tao Zhang, 이병정, 이재호 (서울시립대)
  • MapReduce를 이용한 분산환경 기반에서의 소프트웨어 정적분석 성능 개선 (short) – 박의제, 이동훈, 최수진, 박수용 (서강대학교)
  • 모듈 결합도가 소프트웨어의 소모전력에 미치는 영향 (short) – 김두환, 김종필, 이재욱, 홍장의 (충북대학교)
  • MARMOT 프레임워크의 지원을 위한 컴포넌트 모델 자동추출 기법 (short) – 윤상권, 박민규, 최윤자 (경북대학교)

사례 및 산업체 연구 2

  • Optical Disk Drive Firmware개발에 DSM(Design Structure Matrix) 분석과 requirements validation practice 적용 (산업체논문) – 정영훈, 민상윤 (KAIST)
  • 상호운용성 및 재사용성을 위한 컴포넌트기반 체계모의환경의 구축 (산업체논문) – 이상진, 이태호, 김석봉, 오현식, 김도형 (국방과학연구소), 배현식, 황성욱, 전재현, 최용철 (심네트)
  • 국방 SW기술자료 관리방안 연구 (산업체논문) – 김효성 (국방기술품질원)