KCSE 2012

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