제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기술자료 관리방안 연구 (산업체논문) – 김효성 (국방기술품질원)