제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

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