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